The stable core
Bulletin of Symbolic Logic 18 (2):261-267 (2012)
| Abstract | Vopěnka [2] 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Configure |
Similar books and articlesDaniel W. Cunningham (2010). A Covering Lemma for HOD of K (ℝ). Notre Dame Journal of Formal Logic 51 (4):427-442.
Frank Wagner (1990). Subgroups of Stable Groups. Journal of Symbolic Logic 55 (1):151-156.
Philip Welch (1987). The Reals in Core Models. Journal of Symbolic Logic 52 (1):64-67.
Adam R. Day (2013). Indifferent Sets for Genericity. Journal of Symbolic Logic 78 (1):113-138.
William J. Mitchell (1998). The Complexity of the Core Model. Journal of Symbolic Logic 63 (4):1393-1398.
Kai Hauser (1999). A Minimal Counterexample to Universal Baireness. Journal of Symbolic Logic 64 (4):1601-1627.
P. D. Welch (1996). Countable Unions of Simple Sets in the Core Model. Journal of Symbolic Logic 61 (1):293-312.
E. Hrushovski & A. Tatarsky (2006). Stable Embeddedness in Algebraically Closed Valued Fields. Journal of Symbolic Logic 71 (3):831 - 862.
Steven Buechler (1984). Expansions of Models of Ω-Stable Theories. Journal of Symbolic Logic 49 (2):470-477.
Frank O. Wagner (1991). Small Stable Groups and Generics. Journal of Symbolic Logic 56 (3):1026-1037.
A. R. D. Mathias (2001). Slim Models of Zermelo Set Theory. Journal of Symbolic Logic 66 (2):487-496.
Wolfgang Maass (1982). Recursively Enumerable Generic Sets. Journal of Symbolic Logic 47 (4):809-823.
Stephen J. Willson (1998). Long-Term Behavior in the Theory of Moves. Theory and Decision 45 (3):201-240.
W. J. Mitchell (1999). Jónsson Cardinals, Erdös Cardinals, and the Core Model. Journal of Symbolic Logic 64 (3):1065-1086.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-04-05Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
