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

Research output: Contribution to journalArticlepeer-review


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
Issue number3
Publication statusPublished - 2019 Sep 1

Bibliographical note

Publisher Copyright:
© 2019 The Association for Symbolic Logic.

All Science Journal Classification (ASJC) codes

  • Philosophy
  • Logic


Dive into the research topics of 'On the Number of Countable Models of A Countable NSOP<sub>1</sub> Theory Without Weight ω'. Together they form a unique fingerprint.

Cite this