Sign up or log in for free. It helps support the project and unlocks personalized paper recommendations and new AI tools. .
Abstract Krueger showed that implies that for all regular , there are stationarily many that are internally club but not internally approachable. From countably many Mahlo cardinals, we force a model in which, for all positive and , there is a stationary subset of consisting of sets that are internally club but not internally approachable. The theorem is obtained using a new variant of Mitchell forcing. This answers questions of Krueger.
Action | Title | Date | Authors |
---|
Action | Title | Date | Authors |
---|---|---|---|
A new Löwenheim-Skolem theorem | 2004-12-16 | Matthew Foreman Stevo Todorčević | |
Aronszajn trees on ℵ2 and ℵ3 | 1983-09-01 | Uri Abraham | |
Some exact equiconsistency results in set theory. | 1985-04-01 | Leo Harrington Saharon Shelah | |
Some applications of mixed support iterations | 2008-12-01 | John Krueger | |
A general Mitchell style iteration | 2008-11-04 | John Krueger | |
Internally club and approachable | 2007-02-07 | John Krueger | |
The Tree Property | 1998-01-01 | James Cummings Matthew Foreman | |
The ⁎-variation of the Banach–Mazur game and forcing axioms | 2017-01-07 | Yasuo Yoshinobu | |
On disjoint stationary sequences | 2024-11-20 | Maxwell Levine | |
Iterated Forcing and Elementary Embeddings | 2009-12-09 | James Cummings | |
Fragility and indestructibility II | 2015-07-08 | Spencer Unger |