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 |
Bibliographical note
Publisher Copyright:© 2019 The Association for Symbolic Logic.
All Science Journal Classification (ASJC) codes
- Philosophy
- Logic