Mathematical Logic Quarterly 44 (2):229-264 (1998)

In this paper we introduce a collection of isols having some interesting properties. Imagine a collection W of regressive isols with the following features: u, v ϵ W implies that u ⩽ v or v ⩽ u, u ⩽ v and v ϵ W imply u ϵ W, W contains ℕ = {0,1,2,…} and some infinite isols, and u eϵ W, u infinite, and u + v regressive imply u + v ϵ W. That such a collection W exists is proved in our paper. It has many nice features. It also satisfies u, v ϵ W, u ⩽ v and u infinite imply v ⩽ g for some recursive combinatorial function g, and each u ϵ W is hereditarily odd-even and is hereditarily recursively strongly torre. The collection W that we obtain may be characterized in terms of a semiring of isols D introduced by J. C. E. Dekker in [5]. We will show that W = D, where c is an infinite regressive isol that is called completely torre
Keywords Retraceable sets  Recursive trees  Regressive isols  Isols
Categories (categorize this paper)
DOI 10.1002/malq.19980440209
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,448
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Combinatorial Isols and the Arithmetic of Dekker Semirings.Thomas G. McLaughlin - 2002 - Mathematical Logic Quarterly 48 (3):323-342.

Add more citations

Similar books and articles

Hyper-Torre Isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.
Torre Models in the Isols.Joseph Barback - 1994 - Journal of Symbolic Logic 59 (1):140-150.
An Algebraic Difference Between Isols and Cosimple Isols.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (3):557-561.
A Δ02 Theory of Regressive Isols.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (3):459 - 468.
A $Delta^0_2$ Theory of Regressive Isols.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (3):459-468.
Regressive Isols and Comparability.Joseph Barback - 1976 - Mathematical Logic Quarterly 22 (1):403-412.
Corrigendum to “Regressive Isols and Comparability”.Joseph Barback - 2005 - Mathematical Logic Quarterly 51 (6):643-643.
A Note on Regressive Isols.Joseph Barback - 1966 - Notre Dame Journal of Formal Logic 7 (2):203-205.
Review: Joseph Barback, Two Notes on Regressive Isols. [REVIEW]Carl Bredlau - 1967 - Journal of Symbolic Logic 32 (4):527-528.
Isols and the Pigeonhole Principle.J. C. E. Dekker & E. Ellentuck - 1989 - Journal of Symbolic Logic 54 (3):833-846.


Added to PP index

Total views
14 ( #705,532 of 2,446,186 )

Recent downloads (6 months)
1 ( #456,899 of 2,446,186 )

How can I increase my downloads?


My notes