scientific article; zbMATH DE number 3346351
From MaRDI portal
Publication:5622191
zbMath0218.02056MaRDI QIDQ5622191
Publication date: 1970
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) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Axiom of choice and related propositions (03E25)
Related Items (12)
Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes ⋮ The full basis theorem does not imply analytic wellordering ⋮ A classical view of the intuitionistic continuum ⋮ Scales at \({\aleph_{\omega} }\) ⋮ All uncountable cardinals can be singular ⋮ A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings ⋮ A maximal definable sigma-ideal over \(omega_ 1\). ⋮ Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy ⋮ Levy and set theory ⋮ On the spectrum of characters of ultrafilters ⋮ A model of second-order arithmetic satisfying AC but not DC ⋮ The lack of definable witnesses and provably recursive functions in intuitionistic set theories
This page was built for publication: