Some consequences of reflection on the approachability ideal
From MaRDI portal
Abstract: We study the approachability ideal I[kappa^+] in the context of large cardinals properties of the regular cardinals below a singular kappa. As a guiding example consider the approachability ideal I[aleph_{omega+1}] assuming that aleph_omega is strong limit. In this case we obtain that club many points in aleph_{omega+1} of cofinality aleph_n for some n>1 are approachable assuming the joint reflection of countable families of stationary subsets of aleph_n. This reflection principle holds under Martin's maximum for all n>1 and for each n>1 is equiconsistent with aleph_n being weakly compact in L. This characterizes the structure of the approachability ideal I[aleph_{omega+1}] in models of Martin's maximum.
Recommendations
- On almost precipitous ideals
- Guessing models and the approachability ideal
- Some observations on indifferentiability
- The structure of pleasant ideals
- A note on reflexivity
- scientific article; zbMATH DE number 4029526
- Towards a Theory of Reach
- Reflections on concrete incompleteness
- Approachability with constraints
- scientific article; zbMATH DE number 4103716
Cites work
- A family of covering properties
- A very weak square principle
- Cardinal Arithmetic
- Chang's conjecture for _
- Coherent sequences and threads
- Collapsing successors of singulars
- Exact upper bounds and their uses in set theory
- Ideals and generic elementary embeddings
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- On SCH and the approachability property
- Reflecting stationary sets
- Set Theory
- Successors of singular cardinals
- The proper forcing axiom and the singular cardinal hypothesis
- Walks on ordinals and their characteristics
Cited in
(18)- A cofinality-preserving small forcing may introduce a special Aronszajn tree
- Successive failures of approachability
- The independence of \(\mathsf{GCH}\) and a combinatorial principle related to Banach-Mazur games
- Forcing axioms and the Galvin number
- Non-reflection of the bad set for \(\check{I}_\theta[\lambda]\) and pcf
- Covering properties and square principles
- Singularizing cardinals
- Squares and covering matrices
- Noetherian type in topological products
- Pseudo-Prikry sequences
- A relative of the approachability ideal, diamond and non-saturation
- Partitioning a reflecting stationary set
- Mitchell's theorem revisited
- Magidor-Malitz reflection
- Covering versus partitioning with Polish spaces
- Narrow systems revisited
- Good points for scales (and more)
- Guessing models, trees and cardinal arithmetic
This page was built for publication: Some consequences of reflection on the approachability ideal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3581136)
