scientific article
zbMATH Open0722.03029MaRDI QIDQ3995674
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencyforcingBaire spaceZFCinfinite groupsLusin setreal closed fieldsMartin's AxiomAxiom of ChoiceContinuum HypothesisAxiom of DeterminatenessDependent ChoiceMalitz logicProper-Forcing-AxiomArchimedean modelsO- minimal theory
Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Logic with extra quantifiers and operators (03C80) Axiom of choice and related propositions (03E25) Quantifier elimination, model completeness, and related topics (03C10) Set-theoretic model theory (03C55) Model-theoretic forcing (03C25)
This page was built for publication: