Extended ultrapowers and the Vopěnka-Hrbáček theorem without choice

DOI10.2307/2274701zbMath0736.03018OpenAlexW1966531754MaRDI QIDQ3984431

Mitchell Spector

Publication date: 27 June 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274701

zbMATH Keywords

forcingdeterminacycompact cardinalextended ultrapowerchoiceless set theoryVopěnka-Hrbáček theorem

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Ultraproducts and related constructions (03C20) Axiom of choice and related propositions (03E25)

Related Items (2)

Infinitesimal analysis without the axiom of choice ⋮ Iterated extended ultrapowers and supercompactness without choice

Cites Work

• Determinacy implies that \(\aleph_ 2\) is supercompact
• Countable admissible ordinals and hyperdegrees
• A model of set-theory in which every set of reals is Lebesgue measurable
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Ultrapowers without the axiom of choice
• On the determinacy of games on ordinals
• How large is the first strongly compact cardinal? or a study on identity crises
• Happy families
• Strong axioms of infinity and elementary embeddings
• Some applications of iterated ultrapowers in set theory

This page was built for publication: Extended ultrapowers and the Vopěnka-Hrbáček theorem without choice