A note on recursive models of set theories

DOI10.1305/ndjfl/1054837937zbMath1031.03062OpenAlexW2038389784MaRDI QIDQ1409311

Antonella Mancini, Domenico Zambella

Publication date: 13 October 2003

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1054837937

zbMATH Keywords

Kripke-Platek set theoryhereditarily finite setsrecursive modelsfragments of set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items

Amphi-ZF : axioms for Conway games

Cites Work

• Introduction to axiomatic set theory
• A recursive nonstandard model of normal open induction
• Bounded existential induction
• Foundation versus induction in Kripke-Platek set theory