A Note on Recursive Models of Set Theories

&
Notre Dame Journal of Formal Logic 42 (2):109-115 (2001)
  Copy   BIBTEX

Abstract

We construct two recursive models of fragments of set theory. We also show that the fragments of Kripke-Platek set theory that prove -induction for -formulas have no recursive models but the standard model of the hereditarily finite sets.

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1054837937

Other Versions

No versions found

Links

PhilArchive

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

Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Predicative Algebraic Set Theory.Steve Awodey & Michael A. Warren - unknown
Recursive in a generic real.Juichi Shinoda & Theodore Slaman - 2000 - Journal of Symbolic Logic 65 (1):164-172.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
A proof-theoretic characterization of the primitive recursive set functions.Michael Rathjen - 1992 - Journal of Symbolic Logic 57 (3):954-969.
Reconsidering ordered pairs.Dana Scott & Dominic McCarty - 2008 - Bulletin of Symbolic Logic 14 (3):379-397.
Algebraic Models of Sets and Classes in Categories of Ideals.Steve Awodey, Henrik Forssell & Michael A. Warren - unknown
Expansions, omitting types, and standard systems.Fredrik Engström - 2004 - Dissertation, Chalmers
Theories with recursive models.Manuel Lerman & James H. Schmerl - 1979 - Journal of Symbolic Logic 44 (1):59-76.

Analytics

Added to PP
2010-08-24

Downloads
285 (#150,461)

6 months
13 (#892,628)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Interpretations of Arithmetic and Set Theory.Richard Kaye & Tin Lok Wong - 2007 - Notre Dame Journal of Formal Logic 48 (4):497-510.
Amphi-ZF : axioms for Conway games.Michael Cox & Richard Kaye - 2012 - Archive for Mathematical Logic 51 (3-4):353-371.
Conservativity of transitive closure over weak constructive operational set theory.Andrea Cantini & Laura Crosilla - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger, Logic, Construction, Computation. Berlin, Boston: De Gruyter. pp. 91-122.

Add more citations

References found in this work

Bounded existential induction.George Wilmers - 1985 - Journal of Symbolic Logic 50 (1):72-90.
Foundation versus Induction in Kripke-Platek Set Theory.Domenico Zambella - 1998 - Journal of Symbolic Logic 63 (4):1399-1403.

Add more references