scientific article; zbMATH DE number 3346351

MaRDI QIDQ5622191zbMATH OpenFDO

Authors Azriel Levy

Publication date 1970

Mathematics Subject Classification ID

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

Cited in

(14)

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

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)