Hostname: page-component-76fb5796d-skm99 Total loading time: 0 Render date: 2024-04-27T12:34:26.321Z Has data issue: false hasContentIssue false
  • English
  • Français

ON UNSUPERSTABLE THEORIES IN GDST

Part of: Set theory Connections with other structures, applications Model theory

Published online by Cambridge University Press:  06 November 2023

MIGUEL MORENO Open the ORCID record for MIGUEL MORENO [Opens in a new window]
MIGUEL MORENO*
Affiliation:
DEPARTMENT OF MATHEMATICS BAR-ILAN UNIVERSITY RAMAT-GAN 5290002, ISRAEL and INSTITUTE OF MATHEMATICS, UNIVERSITY OF VIENNA VIENNA 1090, AUSTRIA URL: http://u.math.biu.ac.il/~morenom3 URL: http://miguelmath.com
*
E-mail: contact@miguelmath.com
Get access Rights & Permissions [Opens in a new window]

Abstract

We study the $\kappa $-Borel-reducibility of isomorphism relations of complete first-order theories by using coloured trees. Under some cardinality assumptions, we show the following: For all theories T and T’, if T is classifiable and T’ is unsuperstable, then the isomorphism of models of T’ is strictly above the isomorphism of models of T with respect to $\kappa $-Borel-reducibility.

Keywords

generalized descriptive set theoryclassification theoryisomorphismEhrenfeucht–Mostowski modelscoloured trees

MSC classification

Primary: 03C45: Classification theory, stability and related concepts 03C55: Set-theoretic model theory 03E15: Descriptive set theory 54H05: Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets)
Type
Article
Information
The Journal of Symbolic Logic , First View , pp. 1 - 27
Check for updates
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Abraham, U., Construction of a rigid Aronszajn tree . Proceeding of the American Mathematical Society , vol. 77 (1979), pp. 136–137.Google Scholar
Fernandes, G., Moreno, M., and Rinot, A., Inclusion modulo nonstationary . Monatshefte für Mathematik , vol. 192 (2020), pp. 827–851.CrossRefGoogle Scholar
Fernandes, G., Moreno, M., and Rinot, A., Fake reflection . Israel Journal of Mathematics , vol. 245 (2021), pp. 295–345.Google Scholar
Friedman, S. D., Hyttinen, T., and Kulikov, V., Generalized Descriptive Set Theory and Classification Theory , Memories of the American Mathematical Society, vol. 230, American Mathematical Society, Providence, 2014.Google Scholar
Hyttinen, T. and Kulikov, V., On ${\varSigma}_1^1$ -complete equivalence relations on the generalized Baire space . Mathematical Logic Quarterly , vol. 61 (2015), pp. 66–81.Google Scholar
Hyttinen, T., Kulikov, V., and Moreno, M., A generalized Borel-reducibility counterpart of Shelah’s main gap theorem . Archive for Mathematical Logic , vol. 56 (2017), pp. 175–185.CrossRefGoogle Scholar
Hyttinen, T. and Moreno, M., On the reducibility of isomorphism relations . Mathematical Logic Quarterly , vol. 63 (2017), pp. 175–185.CrossRefGoogle Scholar
Hyttinen, T. and Tuuri, H., Constructing strongly equivalent nonisomorphic models for unstable theories . Annals of Pure and Applied Logic , vol. 52 (1991), pp. 203–248.Google Scholar
Mangraviti, F. and Motto Ros, L., A descriptive main gap theorem . Journal of Mathematical Logic , vol. 21 (2020), p. 2050025.Google Scholar
Moreno, M., The isomorphism relation of theories with S-DOP in the generalized Baire spaces . Annals of Pure and Applied Logic , vol. 173 (2022), p. 103044.Google Scholar
Shelah, S., Existence of many ${L}_{\infty,\ \lambda }$ -equivalent non-isomorphic models of $T$ of power $\lambda$ . Annals of Pure and Applied Logic , vol. 34 (1987), pp. 291–310.Google Scholar
Shelah, S., Classification Theory , Studies in Logic and the Foundations of Mathematics, vol. 92, North-Holland, Amsterdam, 1990.Google Scholar
Shelah, S., Diamonds . Proceedings of American Mathematical Society , vol. 138 (2010), pp. 2151–2161.CrossRefGoogle Scholar