On the Number of Countable Models of A Countable NSOP1 Theory Without Weight ω

Byunghan Kim

doi:10.1017/jsl.2019.47

On the Number of Countable Models of A Countable NSOP₁ Theory Without Weight ω

Byunghan Kim

Department of Mathematics

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

Abstract

In this article, we prove that if a countable non-N₀-categorical NSOP1 theory with nonforking existence has finitely many countable models, then there is a finite tuple whose own preweight is ω. This result is an extension of a theorem of the author on any supersimple theory.

Original language	English
Pages (from-to)	1168-1175
Number of pages	8
Journal	Journal of Symbolic Logic
Volume	84
Issue number	3
DOIs	https://doi.org/10.1017/jsl.2019.47
Publication status	Published - 2019 Sep 1

Bibliographical note

Publisher Copyright:
© 2019 The Association for Symbolic Logic.

All Science Journal Classification (ASJC) codes

Philosophy
Logic

Access to Document

10.1017/jsl.2019.47

Cite this

@article{eec6cee945144956918560de75cf4640,

title = "On the Number of Countable Models of A Countable NSOP1 Theory Without Weight ω",

abstract = "In this article, we prove that if a countable non-N0-categorical NSOP1 theory with nonforking existence has finitely many countable models, then there is a finite tuple whose own preweight is ω. This result is an extension of a theorem of the author on any supersimple theory.",

author = "Byunghan Kim",

note = "Publisher Copyright: {\textcopyright} 2019 The Association for Symbolic Logic.",

year = "2019",

month = sep,

day = "1",

doi = "10.1017/jsl.2019.47",

language = "English",

volume = "84",

pages = "1168--1175",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Association for Symbolic Logic",

number = "3",

}

TY - JOUR

T1 - On the Number of Countable Models of A Countable NSOP1 Theory Without Weight ω

AU - Kim, Byunghan

PY - 2019/9/1

Y1 - 2019/9/1

N2 - In this article, we prove that if a countable non-N0-categorical NSOP1 theory with nonforking existence has finitely many countable models, then there is a finite tuple whose own preweight is ω. This result is an extension of a theorem of the author on any supersimple theory.

AB - In this article, we prove that if a countable non-N0-categorical NSOP1 theory with nonforking existence has finitely many countable models, then there is a finite tuple whose own preweight is ω. This result is an extension of a theorem of the author on any supersimple theory.

UR - http://www.scopus.com/inward/record.url?scp=85072324632&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85072324632&partnerID=8YFLogxK

U2 - 10.1017/jsl.2019.47

DO - 10.1017/jsl.2019.47

M3 - Article

AN - SCOPUS:85072324632

VL - 84

SP - 1168

EP - 1175

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

SN - 0022-4812

IS - 3

ER -