Back to Search
Start Over
On hyper-torre isols.
- Source :
-
Mathematical Logic Quarterly . Jul2006, Vol. 52 Issue 4, p359-361. 3p. - Publication Year :
- 2006
-
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) [ABSTRACT FROM AUTHOR]
- Subjects :
- *ISOLS
*RECURSION theory
*MATHEMATICAL logic
*MATHEMATICS
*MATHEMATICAL analysis
Subjects
Details
- Language :
- English
- ISSN :
- 09425616
- Volume :
- 52
- Issue :
- 4
- Database :
- Academic Search Index
- Journal :
- Mathematical Logic Quarterly
- Publication Type :
- Academic Journal
- Accession number :
- 21749436
- Full Text :
- https://doi.org/10.1002/malq.200610002