We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
On hyper-torre isols.
- Authors
Barback, Joseph
- Abstract
In this paper we present a contribution to a classical result of E. Ellentuck in the theory of regressive isols. E. Ellentuck introduced the concept of a hyper-torre isol, established their existence for regressive isols, and then proved that associated with these isols a special kind of semi-ring of isols is a model of the true universal-recursive statements of arithmetic. This result took on an added significance when it was later shown that for regressive isols, the property of being hyper-torre is equivalent to being hereditarily odd-even. In this paper we present a simplification to the original proof for establishing that equivalence. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)
- Subjects
ISOLS; RECURSION theory; MATHEMATICAL logic; MATHEMATICS; MATHEMATICAL analysis
- Publication
Mathematical Logic Quarterly, 2006, Vol 52, Issue 4, p359
- ISSN
0942-5616
- Publication type
Article
- DOI
10.1002/malq.200610002