The Stable core
2012 ◽
Vol 18
(2)
◽
pp. 261-267
◽
Keyword(s):
AbstractVopěnka proved long ago that every set of ordinals is set-generic over HOD, Gödel's inner model of hereditarily ordinal-definable sets. Here we show that the entire universe V is class-generic over (HOD,S), and indeed over the even smaller inner model =(L[S],S), where S is the Stability predicate. We refer to the inner model as the Stable Core of V. The predicate S has a simple definition which is more absolute than any definition of HOD; in particular, it is possible to add reals which are not set-generic but preserve the Stable Core (this is not possible for HOD by Vopěnka's theorem).
Keyword(s):
2007 ◽
Vol 1
(2)
◽
Keyword(s):
1970 ◽
Vol 67
(2)
◽
pp. 243-250
◽
Keyword(s):
Keyword(s):
2001 ◽
Vol 12
(10)
◽
pp. 1537-1544
◽
Keyword(s):