Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-25T17:32:55.578Z Has data issue: false hasContentIssue false
  • English
  • Français

Hyper-torre isols

Published online by Cambridge University Press:  12 March 2014

Erik Ellentuck
Erik Ellentuck*
Affiliation:
Rutgers, The State University, New Brunswick, New Jersey 08903
Get access Rights & Permissions [Opens in a new window]

Abstract

If T is an isol let D(T) be the least set of isols which contains T and is closed under predecessors and the application of almost recursive combinatorial functions. We find an infinite regressive isol T such that the universal theory (with respect to recursive relations and almost recursive combinatorial functions) of D(T) is the same as that of the nonnegative integers.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 46 , Issue 1 , March 1981 , pp. 1 - 5
Copyright
Copyright © Association for Symbolic Logic 1981

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Dekker, J. C. E., The minimum of two regressive isols, Mathematische Zeitschrift, vol. 83 (1964), pp. 345–366.CrossRefGoogle Scholar
[2]Ellentuck, E., Universal isols, Mathematische Zeitschrift, vol. 98 (1967), pp. 1–8.CrossRefGoogle Scholar
[3]Nerode, A., Extensions to isols, Annals of Mathematics, vol. 73 (1961), pp. 362–103.CrossRefGoogle Scholar
[4]Nerode, A., Diophantine correct non-standard models in the isols, Annals of Mathematics, vol. 84 (1966), pp. 421–432.CrossRefGoogle Scholar