On unsuperstable theories in GDST

Miguel Fernando Moreno Wandurraga

doi:10.1017/jsl.2023.82

On unsuperstable theories in GDST

Miguel Fernando Moreno Wandurraga (Korresp. Autor*in)

Institut für Mathematik

Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed

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.

Originalsprache	Englisch
Seiten (von - bis)	1720-1746
Seitenumfang	27
Fachzeitschrift	The Journal of Symbolic Logic
Jahrgang	89
Ausgabenummer	4
DOIs	https://doi.org/10.1017/jsl.2023.82
Publikationsstatus	Veröffentlicht - 1 Dez. 2024

ÖFOS 2012

101013 Mathematische Logik

Zugriff auf Dokument

10.1017/jsl.2023.82

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Zitationsweisen

@article{c457222442d943e29c94586e94062b1b,

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 = "\{Moreno Wandurraga\}, \{Miguel Fernando\}",

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

year = "2024",

month = dec,

day = "1",

doi = "10.1017/jsl.2023.82",

language = "English",

volume = "89",

pages = "1720--1746",

journal = "The Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - On unsuperstable theories in GDST

AU - Moreno Wandurraga, Miguel Fernando

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 - Article

SN - 0022-4812

VL - 89

SP - 1720

EP - 1746

JO - The Journal of Symbolic Logic

JF - The Journal of Symbolic Logic

IS - 4

ER -

On unsuperstable theories in GDST

Abstract

ÖFOS 2012

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Zitationsweisen