共 50 条
- [41] EMBEDDING THE DIAMOND LATTICE IN THE RECURSIVELY-ENUMERABLE TRUTH-TABLE DEGREESPROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1985, 94 (01) : 123 - 128JOCKUSCH, CGMOHRHERR, J
- [42] FRIEDBERG SPLITTINGS OF RECURSIVELY-ENUMERABLE SETSANNALS OF PURE AND APPLIED LOGIC, 1993, 59 (03) : 175 - 199DOWNEY, RSTOB, M
- [43] ON THE COMPLEXITY OF SEPARATION OF RECURSIVELY-ENUMERABLE SETSDOKLADY AKADEMII NAUK SSSR, 1982, 267 (06): : 1300 - 1304KANOVICH, MI
- [44] RECURSIVELY-ENUMERABLE L-SETSZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (02): : 107 - 113BIACINO, LGERLA, G
- [45] THE THEORY OF THE RECURSIVELY-ENUMERABLE WEAK TRUTH-TABLE DEGREES IS UNDECIDABLEJOURNAL OF SYMBOLIC LOGIC, 1992, 57 (03) : 864 - 874AMBOSSPIES, KNIES, ASHORE, RA
- [46] PAIRS WITHOUT INFIMUM IN THE RECURSIVELY-ENUMERABLE WEAK TRUTH TABLE DEGREESJOURNAL OF SYMBOLIC LOGIC, 1986, 51 (01) : 117 - 129FISCHER, P
- [47] RECURSIVELY-ENUMERABLE EQUIVALENCE-RELATIONSJOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 285 - 285CARROLL, JS
- [48] DECIDABLE SUBSPACES AND RECURSIVELY-ENUMERABLE SUBSPACESJOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1137 - 1145ASH, CJDOWNEY, RG
- [49] COMPLETE, RECURSIVELY-ENUMERABLE RELATIONS IN ARITHMETICMATHEMATICAL LOGIC QUARTERLY, 1995, 41 (01) : 65 - 72DAGOSTINO, GMAGNAGO, M
- [50] RECURSIVELY-ENUMERABLE IMAGES OF ARITHMETIC SETSZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (03): : 189 - 201ROSENBERG, R