Universal regressive isols
HTML articles powered by AMS MathViewer
- by Joseph Barback PDF
- Proc. Amer. Math. Soc. 36 (1972), 549-551 Request permission
Abstract:
E. Ellentuck introduced universal isols in Math. Z. 98 (1967), 1-8, to show how counterexamples in the arithmetic of the isols may be obtained in a uniform manner. Also Ellentuck was the first to prove, in unpublished notes, that there will be regressive isols that are universal. The present paper contains a relatively short proof that every infinite multiple-free regressive isol will be universal.References
- J. Barback, Recursive functions and regressive isols, Math. Scand. 15 (1964), 29–42. MR 176921, DOI 10.7146/math.scand.a-10724
- Joseph Barback, On recursive sets and regressive isols, Michigan Math. J. 15 (1968), 27–32. MR 224465
- Joseph Barback, Two notes on recursive functions and regressive isols, Trans. Amer. Math. Soc. 144 (1969), 77–94. MR 262081, DOI 10.1090/S0002-9947-1969-0262081-5
- J. C. E. Dekker and J. Myhill, Recursive equivalence types, Univ. California Publ. Math. 3 (1960), 67–213. MR 0117155
- Erik Ellentuck, Universal isols, Math. Z. 98 (1967), 1–8. MR 214465, DOI 10.1007/BF01116562
Additional Information
- © Copyright 1972 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 36 (1972), 549-551
- MSC: Primary 02F40
- DOI: https://doi.org/10.1090/S0002-9939-1972-0313038-2
- MathSciNet review: 0313038