Constructing models of small ordered theories with maximal countable spectrum
Logic
2021-10-01 v1
Abstract
We present a method for constructing countable models of small theories and apply it to prove theorems on the maximal number of countable non-isomorphic models of linearly ordered theories.
Cite
@article{arxiv.2109.14877,
title = {Constructing models of small ordered theories with maximal countable spectrum},
author = {Bektur Baizhanov and Tatyana Zambarnaya},
journal= {arXiv preprint arXiv:2109.14877},
year = {2021}
}
Comments
21 pages