Inner models from extended logics: Part 1

We introduce a new inner model $C(aa)$ arising from stationary logic. We show that assuming a proper class of Woodin cardinals, or alternatively $MM^{++}$, the regular uncountable cardinals of $V$ are measurable in the inner model $C(aa)$, the theory of $C(aa)$ is (set) forcing absolute, and $C(aa)$ satisfies CH. We introduce an auxiliary concept that we call club determinacy, which simplifies the construction of $C(aa)$ greatly but may have also independent interest. Based on club determinacy, we introduce the concept of aa-mouse which we use to prove CH and other properties of the inner model $C(aa)$.

[1]  A. Levy,et al.  Measurable cardinals and the continuum hypothesis , 1967 .

[2]  S. Shelah.  Generalized quantifiers and compact logic , 1975 .

[3]  Saharon Shelah,et al.  A Delta22 Well-Order of the Reals and Incompactness of L(QMM) , 1993, Ann. Pure Appl. Log..

[4]  Saharon Shelah,et al.  Proper and Improper Forcing , 1998 .

[5]  K. J. Barwise,et al.  Axioms for abstract model theory , 1974 .

[6]  Editors , 2003 .

[7]  Menachem Magidor,et al.  Compact extensions of L(Q) , 1977 .

[8]  K. J. Barwise,et al.  Absolute logics and L∞ω☆ , 1972 .

[9]  J. Malitz,et al.  Compact Fragments of Higher Order Logic , 1980 .

[10]  Claude Sureson.  Ω1-constructible Universe and Measurable Cardinals , 1986, Ann. Pure Appl. Log..

[11]  S. Shelah,et al.  Martin's Maximum, saturated ideals and non-regular ultrafilters. Part II , 1988 .

[12]  Kenneth Kunen,et al.  Elementary embeddings and infinitary combinatorics , 1971, Journal of Symbolic Logic.

[13]  F. Stephan,et al.  Set theory , 2018, Mathematical Statistics with Applications in R.

[14]  Tony Dodd,et al.  The covering lemma for K , 1982, Ann. Math. Log..

[15]  Donald A. Martin,et al.  Internal cohen extensions , 1970 .

[16]  Telis K. Menas,et al.  Consistency results concerning supercompactness , 1976 .

[17]  John R. Steel,et al.  A proof of projective determinacy , 1989 .

[18]  Dana Scott.  Measurable Cardinals and Constructible Sets , 2003 .

[19]  Jon Barwise,et al.  Set-Theoretic Definability of Logics , 2016 .

[20]  Perlindström.  First Order Predicate Logic with Generalized Quantifiers , 1966 .

[21]  Solomon Feferman,et al.  Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable , 1975 .

[22]  J. Cummings,et al.  Martin's maximum and weak square , 2011 .

[23]  W. Woodin,et al.  Supercompact cardinals, sets of reals, and weakly homogeneous trees. , 1988, Proceedings of the National Academy of Sciences of the United States of America.

[24]  Jack H. Silver,et al.  Measurable Cardinals and Δ 1 3 Well-Orderings , 1971 .

[25]  J. Kennedy.  On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture , 2013, The Bulletin of Symbolic Logic.

[26]  A. Mostowski.  Craig's Interpolation Theorem in Some Extended Systems of Logic , 1979 .

[27]  Matthew Foreman,et al.  Large Cardinals and Definable Counterexamples to the Continuum Hypothesis , 1995, Ann. Pure Appl. Log..

[28]  P. Welch,et al.  THE AXIOM OF DETERMINACY, FORCING AXIOMS, AND THE NONSTATIONARY IDEAL (de Gruyter Series in Logic and its Applications 1) , 2001 .

[29]  Ralf Schindler,et al.  Stacking mice , 2009, The Journal of Symbolic Logic.

[30]  Paul C. Eklof,et al.  Stationary logic of finitely determinate structures , 1979 .

[31]  W. Hugh Woodin,et al.  The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal , 1999 .

[32]  A. Mostowski.  On a generalization of quantifiers , 1957 .

[33]  K. McAloon,et al.  Consistency results about ordinal definability , 1971 .

[34]  Saharon Shelah,et al.  Stationary logic and its friends. I , 1985, Notre Dame J. Formal Log..

[35]  Saharon Shelah,et al.  Stationary logic and its friends. II , 1985, Notre Dame J. Formal Log..

[36]  J R Steel,et al.  Projective determinacy. , 1988, Proceedings of the National Academy of Sciences of the United States of America.

[37]  Per Lindström,et al.  On Extensions of Elementary Logic , 2008 .

[38]  Kenneth Kunen,et al.  Some applications of iterated ultrapowers in set theory , 1970 .

[39]  D. A. Martin,et al.  The axiom of determinateness and reduction principles in the analytical hierarchy , 1968 .

[40]  Jon Barwise,et al.  Admissible sets and structures , 1975 .

[41]  S. Stanton.  The Axiom of Determinacy , 2010 .

[42]  John R. Steel,et al.  An Outline of Inner Model Theory , 2010 .

[43]  Claude Sureson.  Chang's Model and Covering Properties , 1989, Ann. Pure Appl. Log..

[44]  U. Abraham.  A ∆ 22 Well-Order of the Reals And Incompactness of L ( Q MM ) , 1991 .

[45]  S. Ben-David.  On Shelah’s compactness of cardinals , 1978 .

[46]  J. Malitz,et al.  Compact extensions of L(Q) (part 1a) , 1977 .

[47]  Kurt Godel.  Remarks before the Princeton Bicentennial Conference on problems in mathematics , 1990 .