Elementary differences between the isols and the co-simple isols

Elementary differences between the isols and the co-simple isols
HTML articles powered by AMS MathViewer

by Louise Hay

Trans. Amer. Math. Soc. 127 (1967), 427-441

DOI: https://doi.org/10.1090/S0002-9947-1967-0213236-5

PDF | Request permission

References

J. C. E. Dekker and J. Myhill, The divisibility of isols by powers of primes, Math. Z. 73 (1960), 127–133. MR 112840, DOI 10.1007/BF01162473
J. C. E. Dekker and J. Myhill, Recursive equivalence types, Univ. California Publ. Math. 3 (1960), 67–213. MR 0117155
Louise Hay, The co-simple isols, Ann. of Math. (2) 83 (1966), 231–256. MR 205845, DOI 10.2307/1970429
Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
Anil Nerode, Diophantine correct non-standard models in the isols, Ann. of Math. (2) 84 (1966), 421–432. MR 202603, DOI 10.2307/1970455
Anil Nerode, Extensions to isols, Ann. of Math. (2) 73 (1961), 362–403. MR 131363, DOI 10.2307/1970338
Hartley Rogers Jr., Computing degrees of unsolvability, Math. Ann. 138 (1959), 125–140. MR 114752, DOI 10.1007/BF01342939
Gerald E. Sacks, Degrees of unsolvability, Princeton University Press, Princeton, N.J., 1963. MR 0186554