Barback J.. Recursive functions and regressive isols. Mathematica Scandinavica, vol. 15 , pp. 29–42

Journal of Symbolic Logic 32 (2):269-270 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271693

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

My notes

Similar books and articles

Review: J. Barback, Recursive Functions and Regressive Isols. [REVIEW]Erik Ellentuck - 1967 - Journal of Symbolic Logic 32 (2):269-270.
A Fine Structure in the Theory of Isols.Joseph Barback - 1998 - Mathematical Logic Quarterly 44 (2):229-264.
On hyper‐torre isols.Joseph Barback - 2006 - Mathematical Logic Quarterly 52 (4):359-361.
Recursive Functions and Regressive Isols.J. Barback - 1967 - Journal of Symbolic Logic 32 (2):269-270.
Hyper-Torre isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.
On Regressive Isols and Comparability of Summands and a Theorem of R. Downey.Joseph Barback - 1997 - Mathematical Logic Quarterly 43 (1):83-91.
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.
Combinatorial Isols and the Arithmetic of Dekker Semirings.Thomas G. McLaughlin - 2002 - Mathematical Logic Quarterly 48 (3):323-342.
Torre models in the isols.Joseph Barback - 1994 - Journal of Symbolic Logic 59 (1):140-150.
Existentially Incomplete Tame Models and a Conjecture of Ellentuck.Thomas G. McLaughlin - 1999 - Mathematical Logic Quarterly 45 (2):189-202.
Skolem Th.. Some considerations concerning recursive functions. Mathematica Scandinavica, vol. 1 , pp. 213–221.Martin Davis - 1956 - Journal of Symbolic Logic 21 (1):98-99.
Two Notes on Regressive Isols.Joseph Barback - 1967 - Journal of Symbolic Logic 32 (4):527-528.
Regressive Isols and Comparability.Joseph Barback - 1976 - Mathematical Logic Quarterly 22 (1):403-412.
Existentially Complete Nerode Semirings.Thomas G. McLaughlin - 1995 - Mathematical Logic Quarterly 41 (1):1-14.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,020,711)

6 months
2 (#1,136,865)

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