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



    Upload a copy of this work     Papers currently archived: 97,078

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

Finitary Set Theory.Laurence Kirby - 2009 - Notre Dame Journal of Formal Logic 50 (3):227-244.
Toward the Limits of the Tennenbaum Phenomenon.Paola D'Aquino - 1997 - Notre Dame Journal of Formal Logic 38 (1):81-92.
On the Strength of Ramsey's Theorem.David Seetapun & Theodore A. Slaman - 1995 - Notre Dame Journal of Formal Logic 36 (4):570-582.
Finiteness Axioms on Fragments of Intuitionistic Set Theory.Riccardo Camerlo - 2007 - Notre Dame Journal of Formal Logic 48 (4):473-488.
How complicated is the set of stable models of a recursive logic program?W. Marek, A. Nerode & J. Remmel - 1992 - Annals of Pure and Applied Logic 56 (1-3):119-135.
Computational adequacy for recursive types in models of intuitionistic set theory.Alex Simpson - 2004 - Annals of Pure and Applied Logic 130 (1-3):207-275.
New spectra of strongly minimal theories in finite languages.Uri Andrews - 2011 - Annals of Pure and Applied Logic 162 (5):367-372.
A proof-theoretic characterization of the primitive recursive set functions.Michael Rathjen - 1992 - Journal of Symbolic Logic 57 (3):954-969.
Recursive models for constructive set theories.M. Beeson - 1982 - Annals of Mathematical Logic 23 (2-3):127-178.

Analytics

Added to PP
2010-08-24

Downloads
229 (#99,158)

6 months
11 (#532,381)

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.

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