Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

Universal regressive isols


Author: Joseph Barback
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
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

  • [1] J. Barback, Recursive functions and regressive isols, Math. Scand. 15 (1964), 29-42. MR 31 #1189. MR 0176921 (31:1189)
  • [2] -, On recursive sets and regressive isols, Michigan Math. J. 15 (1968), 27-32. MR 37 #64. MR 0224465 (37:64)
  • [3] -, Two notes on recursive functions and regressive isols, Trans. Amer. Math. Soc. 144 (1969), 77-94. MR 41 #6691. MR 0262081 (41:6691)
  • [4] J. C. E. Dekker and J. Myhill, Recursive equivalence types, Univ. California Publ. Math. 3 (1960), 67-213. MR 22 #7938. MR 0117155 (22:7938)
  • [5] E. Ellentuck, Universal isols, Math. Z. 98 (1967), 1-8. MR 35 #5315. MR 0214465 (35:5315)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02F40

Retrieve articles in all journals with MSC: 02F40


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1972-0313038-2
Keywords: Universal isol, regressive isol, multiple-free isol
Article copyright: © Copyright 1972 American Mathematical Society

American Mathematical Society