A Guide to Krivine Realizability for Set Theory
From MaRDI portal
Publication:6512160
arXiv2307.13563MaRDI QIDQ6512160FDOQ6512160
Authors: Richard Matthews 
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)
