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.
| Original language | English |
|---|---|
| Pages (from-to) | 1168-1175 |
| Number of pages | 8 |
| Journal | Journal of Symbolic Logic |
| Volume | 84 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 2019 Sep 1 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Philosophy
- Logic
Cite this
}
On the Number of Countable Models of A Countable NSOP1 Theory Without Weight ω. / Kim, Byunghan.
In: Journal of Symbolic Logic, Vol. 84, No. 3, 01.09.2019, p. 1168-1175.Research output: Contribution to journal › Article
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 -