An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory
From MaRDI portal
Publication:4351926
DOI10.1002/malq.19970430309zbMath0880.03030MaRDI QIDQ4351926
Publication date: 6 January 1998
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19970430309
Related Items
A topological set theory implied by ZF and GPK+∞, A strong model of paraconsistent logic, Addendum and corrigendum: ``Choice principle in hyperuniverses, Inconsistency of the Axiom of Choice with the positive theory, On the Consistency of a Positive Theory
Cites Work