Between strong and superstrong

DOI10.2307/2274012zbMath0644.03026OpenAlexW2110299942MaRDI QIDQ3786475

Stewart L. Baldwin

Publication date: 1986

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

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

zbMATH Keywords

inner modelstrong cardinalscoherent sequencesiterated ultrapowerssuperstrong cardinalsultrafilter sequence

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other set-theoretic hypotheses and axioms (03E65)

Related Items

The consistency strength of projective absoluteness ⋮ On certain indestructibility of strong cardinals and a question of Hajnal ⋮ The comparison lemma ⋮ Iteration Trees ⋮ On measurable cardinals violating the continuum hypothesis ⋮ The wholeness axiom and Laver sequences

Cites Work

• Generalizing the Mahlo hierarchy, with applications to the Mitchell models
• Strong axioms of infinity and elementary embeddings