The Stable core

DOI10.2178/BSL/1333560807zbMath1258.03071OpenAlexW2062117506MaRDI QIDQ2893283

Sy-David Friedman

Publication date: 20 June 2012

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bsl/1333560807

zbMATH Keywords

inner modelstable coreHODhereditarily ordinal-definable setsstability predicate

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items (5)

On Russell typicality in set theory ⋮ The enriched stable core and the relative rigidity of HOD ⋮ STRUCTURAL PROPERTIES OF THE STABLE CORE ⋮ Large cardinals need not be large in HOD ⋮ Evidence for Set-Theoretic Truth and the Hyperuniverse Programme

This page was built for publication: The Stable core