A Guide to Krivine Realizability for Set Theory

MaRDI QIDQ6512160arXivFDO

Authors Richard Matthews

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other aspects of forcing and Boolean-valued models (03E40)

This page was built for publication: A Guide to Krivine Realizability for Set Theory

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