Modifications of ZF equiconsistent with ZF^KM

MaRDI QIDQ2855074zbMATH OpenFDO

Authors Sang Mun Kim

Publication date 24 October 2013

Published in Communications of the Korean Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other set-theoretic hypotheses and axioms (03E65) Nonclassical and second-order set theories (03E70)

This page was built for publication: Modifications of \(\mathrm{ZF}\) equiconsistent with \(\mathrm{ZF}^{\mathrm{KM}}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2855074)