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

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
Keywords fragments of set theory   recursive models
Categories (categorize this paper)
DOI 10.1305/ndjfl/1054837937
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,233
Through your library

References found in this work BETA

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

Citations of this work BETA

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

Similar books and articles

Recursive in a Generic Real.Juichi Shinoda & Theodore A. 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.
Reconsidering Ordered Pairs.Dana Scott & Dominic McCarty - 2008 - Bulletin of Symbolic Logic 14 (3):379-397.
Theories with Recursive Models.Manuel Lerman & James H. Schmerl - 1979 - Journal of Symbolic Logic 44 (1):59-76.
Nonarithmetical ℵ0-Categorical Theories with Recursive Models.Julia F. Knight - 1994 - Journal of Symbolic Logic 59 (1):106 - 112.
Weak Presentations of Computable Fields.Carl G. Jockusch & Alexandra Shlapentokh - 1995 - Journal of Symbolic Logic 60 (1):199 - 208.
Models, Theories, and Language.Jan Faye - 2007 - In Filosofia, scienza e bioetica nel dibattito contemporaneo. Rome: Poligrafico e Zecca dello Stato. pp. 823-838.
Economic Models as Mini-Theories.Steven Rappaport - 2001 - Journal of Economic Methodology 8 (2):275-285.

Analytics

Added to PP index
2010-08-24

Total views
214 ( #48,520 of 2,455,402 )

Recent downloads (6 months)
1 ( #449,037 of 2,455,402 )

How can I increase my downloads?

Downloads

My notes