Higher-order indecomposable isols
HTML articles powered by AMS MathViewer
- by Alfred B. Manaster
- Trans. Amer. Math. Soc. 125 (1966), 363-383
- DOI: https://doi.org/10.1090/S0002-9947-1966-0224468-3
- PDF | Request permission
References
- J. C. E. Dekker, A non-constructive extension of the number system. I, II, J. Symbolic Logic 20 (1955), 204-205.
- J. C. E. Dekker, Congruences in isols with a finite modulus, Math. Z. 70 (1958), 113–124. MR 0098678, DOI 10.1007/BF01558579
- J. C. E. Dekker and J. Myhill, Retraceable sets, Canadian J. Math. 10 (1958), 357–373. MR 99292, DOI 10.4153/CJM-1958-035-x
- J. C. E. Dekker and J. Myhill, Recursive equivalence types, Univ. California Publ. Math. 3 (1960), 67–213. MR 0117155
- Anil Nerode, Extensions to isols, Ann. of Math. (2) 73 (1961), 362–403. MR 131363, DOI 10.2307/1970338
- Gerald E. Sacks, Degrees of unsolvability, Princeton University Press, Princeton, N.J., 1963. MR 0186554
Bibliographic Information
- © Copyright 1966 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 125 (1966), 363-383
- MSC: Primary 02.72
- DOI: https://doi.org/10.1090/S0002-9947-1966-0224468-3
- MathSciNet review: 0224468