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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,389

External links

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

Through your library

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.

Analytics

Added to PP
2010-08-24

Downloads
214 (#57,154)

6 months
1 (#416,470)

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