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