DOI10.1305/ndjfl/1038949536zbMath0967.03044OpenAlexW2057728679MaRDI QIDQ5937852
Roland Hinnion, Olivier Esser
Publication date: 17 July 2001 Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1305/ndjfl/1038949536
zbMATH Keywords
consistencyantifoundationtransitive closureZermelo set theory without foundation
Mathematics Subject Classification ID
Consistency and independence results (03E35) Other set-theoretic hypotheses and axioms (03E65)
Cites Work