Modifications of ZF equiconsistent with ZF^KM

zbMATH Open1273.03150MaRDI QIDQ2855074FDOQ2855074

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) Nonclassical and second-order set theories (03E70) Other set-theoretic hypotheses and axioms (03E65)

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)