Book contents
- Frontmatter
- Preface
- Contents
- TUTORIALS
- ARTICLES
- Modified bar recursion and classical dependent choice
- Choice and uniformity in weak applicative theories
- Compactness and incompactness phenomena in set theory
- Selection for Borel relations
- Interpolation in goal-directed proof systems 1
- Sequences of degrees associated with models of arithmetic
- The limit theory of generic polynomials
- Moschovakis's notion of meaning as applied to linguistics
- Tameness in expansions of the real field
- The model theory of compact complex spaces
- “Natural” representations and extensions of Gödel's second theorem 350
- Effective Hausdorff dimension
- Mutual stationarity in the coremodel
- The pair (Nn, N0) may fail N0-compactness
- Incompleteness theoremand its frontier
- Groups in Simple Theories
- References
Mutual stationarity in the coremodel
from ARTICLES
Published online by Cambridge University Press: 31 March 2017
Book contents
- Frontmatter
- Preface
- Contents
- TUTORIALS
- ARTICLES
- Modified bar recursion and classical dependent choice
- Choice and uniformity in weak applicative theories
- Compactness and incompactness phenomena in set theory
- Selection for Borel relations
- Interpolation in goal-directed proof systems 1
- Sequences of degrees associated with models of arithmetic
- The limit theory of generic polynomials
- Moschovakis's notion of meaning as applied to linguistics
- Tameness in expansions of the real field
- The model theory of compact complex spaces
- “Natural” representations and extensions of Gödel's second theorem 350
- Effective Hausdorff dimension
- Mutual stationarity in the coremodel
- The pair (Nn, N0) may fail N0-compactness
- Incompleteness theoremand its frontier
- Groups in Simple Theories
- References
- Type
- Chapter
- Information
- Logic Colloquium '01 , pp. 386 - 401Publisher: Cambridge University PressPrint publication year: 2005
References
[1] , , and , The domestic levels of Kc are iterable, Israel Journal of Mathematics, vol. 125 (2001), pp. 157–201.Google Scholar
[2] , On the size of closed unbounded sets, Annals of Pure and Applied Logic, vol. 54 (1991), pp. 195–227.Google Scholar
[3] and , Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on P?, Acta Mathematica, vol. 186 (2001), pp. 271–300.Google Scholar
[4] , A new fine structure for higher core models, handwritten notes, 1997, available at http://www.mathematik.hu-berlin.de/.
[5] and , An introduction to core model theory, Sets and proofs (Cooper and Truss, editors), Cambridge University Press, 1999.
[6] , The core model for sequences of measures, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 95 (1984), pp. 228–260.Google Scholar
[7] , The core model for sequences of measures II, typescript.
[8] and , Covering without countable closure, Mathematical Research Letters, vol. 2 (1995), pp. 595–609.Google Scholar
[9] , , and , The covering lemma up to a Woodin cardinal, Annals of Pure and Applied Logic, vol. 84 (1997), pp. 219–255.Google Scholar
[10] and , Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, 1994.
[11] , Inner models in the region of a woodin limit of Woodin cardinals, preprint.
[12] and , The maximality of the core model, Transactions of the American Mathematical Society, vol. 351 (1999), no. 8, pp. 3119–3141.Google Scholar
[13] and , A characterization of in core models, Journal of Mathematical Logic, vol. 4 (2004), pp. 1–72.Google Scholar
[14] , The core model for almost linear iterations, Annals of Pure and Applied Logic, vol. 116 (2002), pp. 207–274.Google Scholar
[15] and , List of open problems in inner model theory, available at http://wwwmath.uni-muenster.de/math/inst/logik/org/staff/rds/list.html.
[16] , , and , Deconstructing inner model theory, The Journal of Symbolic Logic, vol. 67 (2002), pp. 721–736.Google Scholar
[17] , The core model iterability problem, Lecture Notes in Logic, vol. 8, Springer- Verlag, 1996.