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

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)1168-1175
Number of pages8
JournalJournal of Symbolic Logic
Volume84
Issue number3
DOIs
Publication statusPublished - 2019 Sep 1

Fingerprint

Countable
Categorical
Theorem
Model

All Science Journal Classification (ASJC) codes

  • Philosophy
  • Logic

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",
year = "2019",
month = "9",
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",

}

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 journalArticle

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 -