Natural models and Ackermann-type set theories
From MaRDI portal
Publication:4063146
DOI10.2307/2271895zbMath0307.02048MaRDI QIDQ4063146
Publication date: 1975
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271895
03E35: Consistency and independence results
03E30: Axiomatics of classical set theory and its fragments
Related Items
Cites Work