Full reflection at a measurable cardinal

DOI10.2307/2275413MaRDI QIDQ4302358zbMATH OpenOpenAlexFDO

Authors Thomas J. Jech, Jiri Witzany

Publication date 15 August 1994

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

Full work available at URL https://arxiv.org/abs/math/9302202

zbMATH Keywords

consistencyMitchell orderregular cardinalsstationary set

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Abstract: A stationary subset $S$ of a regular uncountable cardinal $kappa$ {it reflects fully} at regular cardinals if for every stationary set $Tsubseteqkappa$ of higher order consisting of regular cardinals there exists an $alphainT$ such that $Scapalpha$ is a stationary subset of $alpha$. {it Full Reflection} states that every stationary set reflects fully at regular cardinals. We will prove that under a slightly weaker assumption than $kappa$ having Mitchell order $kapp{a}^{++}$ it is consistent that Full Reflection holds at every $lambdaleqkappa$ and $kappa$ is measurable.

Recommendations

• Full Reflection of Stationary Sets at Regular Cardinals
• Reflecting stationary sets and successors of singular cardinals
• Full reflection of stationary sets below ℵ_ω
• Consistency strength of the axiom of full reflection at large cardinals
• Stationary reflections for uncountable cofinality

Cites work

• Adding closed cofinal sequences to large cardinals
• Full reflection of stationary sets below ℵ_ω
• Multiple Forcing
• Precipitous ideals
• Some exact equiconsistency results in set theory

Cited in

(9)

• Consistency strength of the axiom of full reflection at large cardinals
• Bounded stationary reflection. II.
• INTERNAL APPROACHABILITY AND REFLECTION
• Full reflection of stationary sets below ℵ_ω
• Full Reflection of Stationary Sets at Regular Cardinals
• Possible behaviours of the reflection ordering of stationary sets
• THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM
• The consistency strength of ``every stationary set reflects
• More on full reflection below \({\aleph_\omega}\)

This page was built for publication: Full reflection at a measurable cardinal

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