On second-order characterizability

We investigate the extent of second order characterizable structures by extending Shelah's Main Gap dichotomy to second order logic. For this end we consider a countable complete first order theory T. We show that all sufficiently large models of T have a characterization up to isomorphism in the extension of second order logic obtained by adding a little bit of infinitary logic if and only if T is shallow superstable with NDOP and NOTOP. Our result relies on cardinal arithmetic assumptions. Under weaker assumptions we get consistency results or alternatively results about second order logic with Henkin semantics.

[1]  Mark E. Nadel,et al.  _{∞}_{}-equivalence, isomorphism and potential isomorphism , 1978 .

[2]  Victor Harnik,et al.  Review: S. Shelah, Classification Theory and the Number of Nonisomorphic Models , 1982, Journal of Symbolic Logic.

[3]  Leon Henkin,et al.  Completeness in the theory of types , 1950, Journal of Symbolic Logic.

[4]  Andreas Blass,et al.  Existence of bases implies the axiom of choice , 1984 .

[5]  E. Casari.  Logic and the Foundations of Mathematics , 1981 .

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

[7]  Tapani Hyttinen,et al.  Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories , 1991, Ann. Pure Appl. Log..

[8]  Saharon Shelah.  Existence of many L∞, λ-equivalent, non- isomorphic models of T of power λ , 1987, Ann. Pure Appl. Log..

[9]  Lauri Keskinen,et al.  Characterizing all models in infinite cardinalities , 2013, Ann. Pure Appl. Log..

[10]  Dana Scott,et al.  LOGIC WITH DENUMERABLY LONG FORMULAS AND FINITE STRINGS OF QUANTIFIERS , 2014 .

[11]  M. Ajtai.  Isomorphism and higher order equivalence , 1979 .

[12]  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.

[13]  Sy-David Friedman,et al.  Generalized Descriptive Set Theory and Classification Theory , 2012, 1207.4311.

[14]  Jouko A. Väänänen,et al.  Models and Games , 2011, Cambridge studies in advanced mathematics.

[15]  W. Ackermann,et al.  Grundzüge der theoretischen Logik , 1928 .

[16]  S. Feferman.  Some applications of the notions of forcing and generic sets , 1964 .

[17]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .