scientific article
From MaRDI portal
Publication:3425062
zbMath1113.03046MaRDI QIDQ3425062
Publication date: 5 March 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
supertransitive modelsconstructible hierarchytransitive models\(\text{BST}'\)Devlin's system BSGandy's system PZ
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Inner models, including constructibility, ordinal definability, and core models (03E45) Axiomatics of classical set theory and its fragments (03E30)
Related Items (6)
Forcing revisited ⋮ Constructing the constructible universe constructively ⋮ The strength of extensionality. II: Weak weak set theories without infinity ⋮ Classes and truths in set theory ⋮ A CO-ANALYTIC COHEN-INDESTRUCTIBLE MAXIMAL COFINITARY GROUP ⋮ Inclusion modulo nonstationary
This page was built for publication:
