Baire Categoricity and $\Sigma^{0}_{1}$ -Induction

Notre Dame Journal of Formal Logic 55 (1):75-78 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2377887

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,836

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

On the $\Sigma^01$-conservativity of $\Sigma^01$-completeness.Albert Visser - 1991 - Notre Dame Journal of Formal Logic 32 (4):554-561.
An analysis of the concept of constructive categoricity.Charles Francis Quinn - 1974 - Notre Dame Journal of Formal Logic 15 (4):511-551.
[Symbol] o-categoricity over a predicate.Anand Pillay - 1983 - Notre Dame Journal of Formal Logic 24:527-536.
The categoricity spectrum of pseudo-elementary classes.Michael Chris Laskowski - 1992 - Notre Dame Journal of Formal Logic 33 (3):332-347.
Degrees of Categoricity and the Hyperarithmetic Hierarchy.Barbara F. Csima, Johanna N. Y. Franklin & Richard A. Shore - 2013 - Notre Dame Journal of Formal Logic 54 (2):215-231.
On induction.Rolf Schock - 1965 - Notre Dame Journal of Formal Logic 6 (3):235-240.
Transitivity, supertransitivity and induction.W. Russell Belding, Richard L. Poss & Paul J. Welsh - 1972 - Notre Dame Journal of Formal Logic 13 (2):177-190.
Career induction for quantifiers.Robert K. Meyer - 1980 - Notre Dame Journal of Formal Logic 21 (3):539-548.
A note on: "Transitivity, supertransitivity and induction".W. Russell Belding & Richard L. Poss - 1973 - Notre Dame Journal of Formal Logic 14 (4):565-566.
Induction on fields of binary relations.W. Russell Belding - 1972 - Notre Dame Journal of Formal Logic 13 (2):191-194.

Analytics

Added to PP
2014-01-23

Downloads
24 (#985,134)

6 months
3 (#1,155,553)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Fragments of arithmetic.Wilfried Sieg - 1985 - Annals of Pure and Applied Logic 28 (1):33-71.
Factorization of polynomials and °1 induction.S. G. Simpson - 1986 - Annals of Pure and Applied Logic 31:289.
Reverse mathematics and Peano categoricity.Stephen G. Simpson & Keita Yokoyama - 2013 - Annals of Pure and Applied Logic 164 (3):284-293.
On the strength of Ramsey's theorem without Σ1 -induction.Keita Yokoyama - 2013 - Mathematical Logic Quarterly 59 (1-2):108-111.

View all 7 references / Add more references