Between strong and superstrong

DOI10.2307/2274012MaRDI QIDQ3786475zbMATH OpenOpenAlexFDO

Authors Stewart 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

coherent sequencesinner modeliterated ultrapowersstrong cardinalssuperstrong cardinalsultrafilter sequence

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 994189
• On certain indestructibility of strong cardinals and a question of Hajnal
• scientific article; zbMATH DE number 45214
• Inner models with large cardinal features usually obtained by forcing
• Strong ultrapowers and long core models

Cites work

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

Cited in

(9)

• On certain indestructibility of strong cardinals and a question of Hajnal
• The wholeness axiom and Laver sequences
• The consistency strength of projective absoluteness
• Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model
• Iteration Trees
• The comparison lemma
• On measurable cardinals violating the continuum hypothesis
• Origin and development of the theory of coremodels. II
• Vive la différence. III

This page was built for publication: Between strong and superstrong

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