Publications > Preprint server > Preprint Number 2059
Preprint Number 2059
2059. Bektur Baizhanov and Tatyana Zambarnaya Constructing models of small ordered theories with maximal countable spectrum E-mail: , Submission date: 27 September 2021 Abstract: We present a method for constructing countable models of small theories, and apply it to prove theorems on maximal number of countable non-isomorphic models of linearly ordered theories. Mathematics Subject Classification: 03C64, 03C15 Keywords and phrases: Small theory, linear order, countable model, number of countable models, convex formula, finite diagram |
Last updated: October 6 2021 14:37 | Please send your corrections to: |