- Wednesday 22 November 2023, 2.00 PM
- Models and Sets Seminar
Small ordered theories with a maximum spectrum of countable models
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.