Mathematical Logic Quarterly 43 (1):83-91 (1997)

In this paper we present a collection of results related to the comparability of summands property of regressive isols. We show that if an infinite regressive isol has comparability of summands, then every predecessor of the isol has a weak comparability of summands property. Recently R. Downey proved that there exist regressive isols that are both hyper-torre and cosimple. There is a surprisingly close connection between non-recursive recursively enumerable sets and particular retraceable sets and regressive isols. We apply the theorem of Downey to show that among the regressive isols that are related to recursively enumerable sets there are some with a new property
Keywords Hyper‐torre isols  Regressive isols  Isols
Categories (categorize this paper)
DOI 10.1002/malq.19970430111
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,496
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

No citations found.

Add more citations

Similar books and articles

A Fine Structure in the Theory of Isols.Joseph Barback - 1998 - Mathematical Logic Quarterly 44 (2):229-264.
Hyper-Torre Isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.
An Algebraic Difference Between Isols and Cosimple Isols.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (3):557-561.
On Hyper‐Torre Isols.Joseph Barback - 2006 - Mathematical Logic Quarterly 52 (4):359-361.
Regressive Isols and Comparability.Joseph Barback - 1976 - Mathematical Logic Quarterly 22 (1):403-412.
Torre Models in the Isols.Joseph Barback - 1994 - Journal of Symbolic Logic 59 (1):140-150.
Corrigendum to “Regressive Isols and Comparability”.Joseph Barback - 2005 - Mathematical Logic Quarterly 51 (6):643-643.
A Δ02 Theory of Regressive Isols.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (3):459 - 468.
On Hyper-Torre Isols.Rod Downey - 1989 - Journal of Symbolic Logic 54 (4):1160-1166.
A $Delta^0_2$ Theory of Regressive Isols.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (3):459-468.
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.


Added to PP index

Total views
19 ( #558,735 of 2,446,367 )

Recent downloads (6 months)
2 ( #310,179 of 2,446,367 )

How can I increase my downloads?


My notes