Foundation versus induction in Kripke-Platek set theory

DOI10.2307/2586657zbMath0929.03054OpenAlexW2130130973MaRDI QIDQ4254688

Domenico Zambella

Publication date: 25 January 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586657

zbMATH Keywords

transitive closureaxiom of foundation\(\in\)-induction schemeKripke-Platek set-theoryopen-induction

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Related Items (1)

A note on recursive models of set theories

Cites Work

• The ∀_n∃‐Completeness of Zermelo‐Fraenkel Set Theory
• Decidability of ∀*∀‐Sentences in Membership Theories

This page was built for publication: Foundation versus induction in Kripke-Platek set theory