STRUCTURAL PROPERTIES OF THE STABLE CORE

The stable core, an inner model of the form $\langle L[S],\in , S\rangle $ for a simply definable predicate S, was introduced by the first author in [8], where he showed that V is a class forcing extension of its stable core. We study the structural properties of the stable core and its interactions...

Full description

Saved in:
Bibliographic Details
Published in:The Journal of symbolic logic 2023-09, Vol.88 (3), p.889-918
Main Authors: FRIEDMAN, SY-DAVID, GITMAN, VICTORIA, MÜLLER, SANDRA
Format: Article
Language:English
Subjects:
Algebra
Numbers
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The stable core, an inner model of the form $\langle L[S],\in , S\rangle $ for a simply definable predicate S, was introduced by the first author in [8], where he showed that V is a class forcing extension of its stable core. We study the structural properties of the stable core and its interactions with large cardinals. We show that the $\operatorname {GCH} $ can fail at all regular cardinals in the stable core, that the stable core can have a discrete proper class of measurable cardinals, but that measurable cardinals need not be downward absolute to the stable core. Moreover, we show that, if large cardinals exist in V, then the stable core has inner models with a proper class of measurable limits of measurables, with a proper class of measurable limits of measurable limits of measurables, and so forth. We show this by providing a characterization of natural inner models $L[C_1, \dots , C_n]$ for specially nested class clubs $C_1, \dots , C_n$ , like those arising in the stable core, generalizing recent results of Welch [29].
ISSN:0022-4812
1943-5886
DOI:10.1017/jsl.2023.10