ON UNSUPERSTABLE THEORIES IN GDST

Miguel Moreno

doi:10.1017/jsl.2023.82

ON UNSUPERSTABLE THEORIES IN GDST

Miguel Moreno

Department of Mathematics

University of Vienna

Research output: Contribution to journal › Article › peer-review

Abstract

We study the -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 -Borel-reducibility.

Original language	English
Pages (from-to)	1720-1746
Number of pages	27
Journal	Journal of Symbolic Logic
Volume	89
Issue number	4
DOIs	https://doi.org/10.1017/jsl.2023.82
State	Published - 1 Dec 2024

Bibliographical note

Publisher Copyright:
© The Author(s), 2023.

Keywords

Ehrenfeucht-Mostowski models
classification theory
coloured trees
generalized descriptive set theory
isomorphism

Access to Document

10.1017/jsl.2023.82

Cite this

@article{abb698197e3c4d63bd1e6892cfed5086,

title = "ON UNSUPERSTABLE THEORIES IN GDST",

abstract = "We study the -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 -Borel-reducibility.",

keywords = "Ehrenfeucht-Mostowski models, classification theory, coloured trees, generalized descriptive set theory, isomorphism",

author = "Miguel Moreno",

note = "Publisher Copyright: {\textcopyright} The Author(s), 2023.",

year = "2024",

month = dec,

day = "1",

doi = "10.1017/jsl.2023.82",

language = "אנגלית",

volume = "89",

pages = "1720--1746",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - ON UNSUPERSTABLE THEORIES IN GDST

AU - Moreno, Miguel

N1 - Publisher Copyright: © The Author(s), 2023.

PY - 2024/12/1

Y1 - 2024/12/1

N2 - We study the -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 -Borel-reducibility.

AB - We study the -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 -Borel-reducibility.

KW - Ehrenfeucht-Mostowski models

KW - classification theory

KW - coloured trees

KW - generalized descriptive set theory

KW - isomorphism

UR - https://www.scopus.com/pages/publications/85176416866

U2 - 10.1017/jsl.2023.82

DO - 10.1017/jsl.2023.82

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85176416866

SN - 0022-4812

VL - 89

SP - 1720

EP - 1746

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 4

ER -

ON UNSUPERSTABLE THEORIES IN GDST

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this