Bektur Baizhanov (Institute of Mathematics and Mathematical Modelling, Almaty)

For theories of totally ordered structures, we consider questions concerning the number of non-isomorphic countable models. The approach is to consider realisations of 1-types, and formulas acting on the set of all realisations of a type.