A Δ02 theory of regressive isols

Journal of Symbolic Logic 39 (3):459 - 468 (1974)
  Copy   BIBTEX


We examine the action of unary Δ 0 2 functions on the regressive isols. A manageable theory is produced and we find that such a function maps Λ R into Λ if and only if it is eventually $R\uparrow$ increasing and maps Λ R into Λ R if and only if it is eventually recursive increasing. Our paper concludes with a discussion of other methods for extending functions to Λ R



    Upload a copy of this work     Papers currently archived: 77,894

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A coding theorem for isols.Erik Ellentuck - 1970 - Journal of Symbolic Logic 35 (3):378-382.
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 note on regressive isols.Joseph Barback - 1966 - Notre Dame Journal of Formal Logic 7 (2):203-205.
Infinite series of $T$-regressive isols.Judith L. Gersting - 1973 - Notre Dame Journal of Formal Logic 14 (4):519-526.
Universal pairs of regressive isols.Judith Gersting - 1975 - Notre Dame Journal of Formal Logic 16 (3):409-414.
Infinite series of regressive isols under addition.Judith L. Gersting - 1977 - Notre Dame Journal of Formal Logic 18 (2):299-304.
Isols and the pigeonhole principle.J. C. E. Dekker & E. Ellentuck - 1989 - Journal of Symbolic Logic 54 (3):833-846.
Incompatible extensions of combinatorial functions.Erik Ellentuck - 1983 - Journal of Symbolic Logic 48 (3):752-755.
Hyper-Torre isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.


Added to PP

9 (#945,516)

6 months
1 (#483,919)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references