Constructing models of small ordered theories with maximal countable spectrum
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.
math.LO↗