Approachability Property in Set Theory

• Approachability Property is a set-theoretic concept that formalizes the approximation of ordinals below a successor cardinal using shorter initial segments via Shelah’s ideal.
• It interrelates square principles, stationary reflection, scales, and tree properties, thereby influencing the combinatorial landscape at both regular and singular cardinals.
• Forcing constructions and internal variants, such as guessing models, provide practical methods to analyze and manipulate the behavior of the approachability ideal across different cardinal contexts.

In modern set theory, the approachability property is the family of principles attached to Shelah’s approachability ideal, an ideal designed to formalize when ordinals below a successor cardinal can be approximated by shorter initial segments drawn from a fixed sequence. It is one of the central combinatorial interfaces between square principles, stationary reflection, scales, tree properties, and forcing constructions at successors of regular and singular cardinals. In the literature represented here, the underlying object is uniform—Shelah’s ideal $I[\lambda]$—but the phrase “approachability property” is used with two closely related conventions: one says that a regular $\lambda$ “has the approachability property” when $I[\lambda]$ is proper, while another writes $AP_\mu$ for the assertion $\mu^+\in I[\mu^+]$ (Mohammadpour et al., 2018, Jakob, 2024).

1. Shelah’s ideal and the two standard conventions

Let $\lambda$ be a regular uncountable cardinal. A $\lambda$-approaching sequence is a sequence

$\bar a=(a_\xi:\xi<\lambda)$

of bounded subsets $a_\xi\subset\lambda$. Given such a sequence, $B(\bar a)$ is the set of all $\lambda$0 which are singular and for which there is a cofinal club $\lambda$1 of order-type $\lambda$2 so that every initial segment $\lambda$3 reappears in the list $\lambda$4. Shelah’s approachability ideal $\lambda$5 is the normal ideal on $\lambda$6 generated by $\lambda$7, the non-stationary ideal, together with all sets $\lambda$8 arising from $\lambda$9-approaching sequences (Mohammadpour et al., 2018).

At successors, an equivalent presentation used repeatedly in later work fixes $I[\lambda]$0 regular and defines $I[\lambda]$1 by requiring a sequence $I[\lambda]$2 and a club $I[\lambda]$3 such that whenever $I[\lambda]$4, there is $I[\lambda]$5 with $I[\lambda]$6, $I[\lambda]$7 unbounded in $I[\lambda]$8, and $I[\lambda]$9. This is the formulation used in work on $AP_\mu$0 and on internal approachability variants (Jakob, 2024).

The terminological point matters. In the exposition attached to “Guessing models and the approachability ideal,” one says that $AP_\mu$1 has the approachability property if $AP_\mu$2 is a proper ideal, i.e. if there is at least one stationary subset of $AP_\mu$3 outside $AP_\mu$4 (Mohammadpour et al., 2018). By contrast, later papers standardly write

$AP_\mu$5

or, equivalently in that notation, that the ideal is improper at $AP_\mu$6 (Jakob, 2024, Jakob et al., 6 Aug 2025). The shared substance is the same ideal; what changes is which global assertion is singled out.

2. Combinatorial content of approachability

The ideal $AP_\mu$7 is closely tied to square, scales, and Aronszajn-tree phenomena. One basic relationship is that $AP_\mu$8 is a weakening of Jensen’s weak-square principle: $AP_\mu$9 implies $\mu^+\in I[\mu^+]$0 (Unger, 2017). At successors of singulars, the relation is especially sharp. If $\mu^+\in I[\mu^+]$1 is singular of cofinality $\mu^+\in I[\mu^+]$2 and $\mu^+\in I[\mu^+]$3 are regular, then over ZFC,

$\mu^+\in I[\mu^+]$4

and failure of $\mu^+\in I[\mu^+]$5 is equivalent to the existence of a bad scale of length $\mu^+\in I[\mu^+]$6 (Unger, 2017).

Failure of approachability also has direct consequences for trees and square. For a regular $\mu^+\in I[\mu^+]$7, failure of $\mu^+\in I[\mu^+]$8 implies failure of $\mu^+\in I[\mu^+]$9, and hence there is no special $\lambda$0-Aronszajn tree (Unger, 2017). From the singular-cardinal side, $\lambda$1, so negating $\lambda$2 gives strong compactness-type consequences (Jakob et al., 6 Aug 2025).

The ideal also stratifies by cofinality. If $\lambda$3 is regular then $\lambda$4 contains the entire set $\lambda$5; in particular $\lambda$6 holds for all regular $\lambda$7. If $\lambda$8 is singular, ZFC proves only that $\lambda$9, and whether higher cofinality layers must lie in the ideal was precisely the question left open by Shelah (Jakob et al., 6 Aug 2025).

A useful interpretive summary, stated explicitly in the guessing-models paper, is that $\lambda$0 measures “how far” $\lambda$1 fails stationary reflection on cofinality $\lambda$2 points, while principles such as $\lambda$3, $\lambda$4, and $\lambda$5 tend to produce clubs of guessing models which in turn witness approachability failures or collapses (Mohammadpour et al., 2018).

3. Guessing models, $\lambda$6, and collapse of $\lambda$7

A major refinement in the study of approachability is the connection with guessing models. For a powerful structure $\lambda$8 and regular $\lambda$9, a set $\bar a=(a_\xi:\xi<\lambda)$0 of size $\bar a=(a_\xi:\xi<\lambda)$1 is $\bar a=(a_\xi:\xi<\lambda)$2-guessing if whenever $\bar a=(a_\xi:\xi<\lambda)$3 is bounded in $\bar a=(a_\xi:\xi<\lambda)$4 and for every $\bar a=(a_\xi:\xi<\lambda)$5 one has $\bar a=(a_\xi:\xi<\lambda)$6, then there exists $\bar a=(a_\xi:\xi<\lambda)$7 with $\bar a=(a_\xi:\xi<\lambda)$8. The principle $\bar a=(a_\xi:\xi<\lambda)$9 says that the class of $a_\xi\subset\lambda$0-guessing $a_\xi\subset\lambda$1 of size $a_\xi\subset\lambda$2 is stationary in $a_\xi\subset\lambda$3, and $a_\xi\subset\lambda$4 means this holds for all large $a_\xi\subset\lambda$5. The strengthening $a_\xi\subset\lambda$6 uses strongly $a_\xi\subset\lambda$7-guessing models of size $a_\xi\subset\lambda$8, defined as increasing unions of $a_\xi\subset\lambda$9 many $B(\bar a)$0-guessing submodels of size $B(\bar a)$1, continuous at points of cofinality $B(\bar a)$2 (Mohammadpour et al., 2018).

Mohammadpour and Veličković show that $B(\bar a)$3 has a broad combinatorial footprint. In any model of $B(\bar a)$4, one gets $B(\bar a)$5 and $B(\bar a)$6, the tree property at $B(\bar a)$7 and $B(\bar a)$8, the Singular Cardinal Hypothesis above $B(\bar a)$9, and

$\lambda$00

(Mohammadpour et al., 2018).

For the approachability ideal, the decisive statement is

$\lambda$01

Here $\lambda$02 is the set of ordinals below $\lambda$03 of cofinality $\lambda$04. Thus, on cofinality-$\lambda$05 points, the approachability ideal collapses to the non-stationary ideal (Mohammadpour et al., 2018). In the same exposition, a local principle $\lambda$06 is isolated: for every $\lambda$07 there is a $\lambda$08-closed unbounded set of $\lambda$09-guessing models $\lambda$10 of size $\lambda$11 containing $\lambda$12. The proposition proved there states that if $\lambda$13 holds, then

$\lambda$14

The proof sketch argues that if $\lambda$15 were in $\lambda$16, then from the cofinal sequence $\lambda$17 one could build a bounded set approximated by $\lambda$18 but not guessed by $\lambda$19, a contradiction (Mohammadpour et al., 2018).

This collapse result at $\lambda$20 was previously shown consistent by Mitchell, and the significance of the guessing-model approach is that it places the collapse alongside tree properties, $\lambda$21, $\lambda$22, and square failures in a single framework (Mohammadpour et al., 2018).

4. Forcing constructions and successive failures

The forcing used to obtain the simultaneous phenomena at $\lambda$23 and $\lambda$24 starts from two supercompact cardinals $\lambda$25. Conditions are finite side conditions built from two kinds of models: countable elementary submodels of $\lambda$26 (“C-models”) and transitive $\lambda$27-closed approximations of initial segments of $\lambda$28 of size $\lambda$29 (“Magidor models”). The forcing $\lambda$30 is $\lambda$31-c.c., preserves $\lambda$32 by strong properness with respect to countable models, and preserves $\lambda$33 by strong properness with respect to Magidor models. In the extension $\lambda$34, one gets $\lambda$35, $\lambda$36, as well as $\lambda$37, $\lambda$38, and, if $\lambda$39 is supercompact, $\lambda$40 (Mohammadpour et al., 2018).

A complementary direction is to force long intervals of failure of approachability. Unger proves that, assuming a supercompact cardinal, there is a forcing extension $\lambda$41 in which $\lambda$42 is strong limit and, for every regular cardinal $\lambda$43 with

$\lambda$44

$\lambda$45 fails (Unger, 2017). The construction combines an Easton-support preparation by Mitchell-style collapses with a main diagonal Prikry forcing and a full-support side forcing. The Prikry forcing has the Prikry property and adds no new bounded subsets of $\lambda$46, so the target singular remains strong limit (Unger, 2017).

The analysis of why $\lambda$47 fails across the interval is not uniform. At double successors, approximation-preservation arguments show that any candidate witness to approachability would already appear before the relevant collapse. At successors of singulars $\lambda$48, PCF theory is used to preserve bad scales, and bad scale implies failure of $\lambda$49 at a successor of singular. At $\lambda$50, the argument is the classical Mitchell-collapse analysis together with the Gitik–Krueger preservation theorem for failure of approachability under $\lambda$51-centered forcing (Unger, 2017).

These two forcing lines exhibit complementary modes of interaction: side-condition forcing and guessing models can collapse $\lambda$52 on a cofinality layer, while Prikry-style constructions can force extended blocks of regular cardinals to fail approachability altogether.

5. Internal variants and the fine structure of $\lambda$53

The global statement $\lambda$54 does not eliminate distinctions among internal approximation properties of elementary submodels. Foreman–Todorcevic style variants include internally unbounded $\lambda$55, internally stationary $\lambda$56, internally club $\lambda$57, and internally approachable $\lambda$58, with

$\lambda$59

(Jakob, 2024).

Recent work shows that these implications can fail stationarily, and even at successive levels. Under Martin’s Maximum there are stationarily many

$\lambda$60

such that $\lambda$61 is $\lambda$62 while $\lambda$63 is not $\lambda$64, answering a question of Foreman negatively (Jakob, 2024). Under stronger large-cardinal assumptions and a new Mitchell-style forcing $\lambda$65, one can force $\lambda$66 together with stationarily many

$\lambda$67

for which $\lambda$68, $\lambda$69, and $\lambda$70. A two-step extension by

$\lambda$71

also yields $\lambda$72 together with stationarily many $\lambda$73 which are $\lambda$74 but fail $\lambda$75 (Jakob, 2024).

A separate structural issue concerns maximal generators of the ideal. Krueger develops forcing with finite conditions that adds partial square sequences on stationary sets using adequate sets of models as side conditions, and a side-condition product forcing for simultaneously adding partial square sequences on multiple stationary sets. Assuming the consistency of a greatly Mahlo cardinal, it is consistent that the approachability ideal $\lambda$76 does not have a maximal set modulo clubs (Krueger, 2016). This shows that the internal structure of $\lambda$77 can be substantially more complicated than a single canonical generator would suggest.

6. Shelah’s problem and global failure at singular cardinals

Shelah asked whether, for singular $\lambda$78, the ideal $\lambda$79 must contain a club subset of $\lambda$80; equivalently, whether ZFC proves

$\lambda$81

This remained open from the 1980s (Jakob et al., 6 Aug 2025).

Jakob and Poveda give a negative consistency answer. Assuming appropriate large cardinal hypotheses, for a singular cardinal $\lambda$82 and a regular $\lambda$83, they construct a model of ZFC in which

$\lambda$84

Their forcing is a Prikry-type Magidor-product followed by a collapse, with a Strong Prikry Property used to show that no ground-model family of size $\lambda$85 can cover an initial segment of the added cofinal map; consequently the stationary set

$\lambda$86

is forced to consist entirely of non-approachable points (Jakob et al., 6 Aug 2025).

They also obtain a global theorem: assuming GCH and a proper class of supercompact cardinals, there is a class-forcing extension in which, for every singular $\lambda$87, the approachability property $\lambda$88 fails, and moreover for each singular $\lambda$89 there are unboundedly many regular $\lambda$90 such that

$\lambda$91

As a corollary, in that model there is no special $\lambda$92-Aronszajn tree for any singular $\lambda$93 (Jakob et al., 6 Aug 2025).

These results reposition the approachability property from a local combinatorial feature to a global organizing principle for singular-cardinal combinatorics. They also sharpen a common misconception: failure of approachability is not confined to isolated successors of singulars or to the classical $\lambda$94-cofinality case. The recent consistency results show that non-approachability can be forced simultaneously at every singular cardinal, while other constructions show that even when $\lambda$95 holds, the surrounding landscape of internal approachability and of the ideal $\lambda$96 can remain highly nontrivial (Jakob, 2024, Jakob et al., 6 Aug 2025).