A Note on Recursive Models of Set Theories

Antonella Mancini; Domenico Zambella

doi:10.1305/ndjfl/1054837937

Translator Disclaimer

2001 A Note on Recursive Models of Set Theories

Antonella Mancini, Domenico Zambella

Notre Dame J. Formal Logic 42(2): 109-115 (2001). DOI: 10.1305/ndjfl/1054837937

Abstract

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

Citation

Download Citation

Antonella Mancini. Domenico Zambella. "A Note on Recursive Models of Set Theories." Notre Dame J. Formal Logic 42 (2) 109 - 115, 2001. https://doi.org/10.1305/ndjfl/1054837937