scientific article; zbMATH DE number 3346351

MaRDI QIDQ5622191zbMATH OpenFDO

Authors Azriel Levy

Publication date 1970

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50)

Cited in

(12)

• 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
• On the spectrum of characters of ultrafilters
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Levy and set theory
• Scales at \({\aleph_{\omega} }\)
• A maximal definable sigma-ideal over \(omega_ 1\).
• The full basis theorem does not imply analytic wellordering
• A classical view of the intuitionistic continuum
• Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
• All uncountable cardinals can be singular
• A model of second-order arithmetic satisfying AC but not DC

This page was built for publication:

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