English

Some consequences of reflection on the approachability ideal

Logic 2008-04-07 v1 Commutative Algebra

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.

Keywords

Cite

@article{arxiv.0804.0775,
  title  = {Some consequences of reflection on the approachability ideal},
  author = {Assaf Sharon and Matteo Viale},
  journal= {arXiv preprint arXiv:0804.0775},
  year   = {2008}
}

Comments

11 pages, updated versions available at the author's webpage

R2 v1 2026-06-21T10:27:50.503Z