scientific article
From MaRDI portal
Publication:3907550
zbMath0458.03011MaRDI QIDQ3907550
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Nonclassical and second-order set theories (03E70) Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (5)
Types in class set theory and inaccessible cardinals ⋮ Classes and truths in set theory ⋮ Class Forcing in Class Theory ⋮ Labelling classes by sets ⋮ Kelley-Morse+types of well order is not a conservative extension of Kelley Morse
This page was built for publication: