On the Mathematical Content of the Theory of Classes KM

DOI10.1002/MALQ.19890350505zbMATH Open0663.03039OpenAlexW2064095780MaRDI QIDQ3813811

Ramon Jansana

Publication date: 1989

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19890350505

zbMATH Keywords

forcingBoolean valued modelsimpredicative theory of classesKelley-Morse

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Other aspects of forcing and Boolean-valued models (03E40)

This page was built for publication: On the Mathematical Content of the Theory of Classes KM

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