MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 1413
Preprint Number 1413
1413. Slavko Moconja, Predrag Tanović Stationary ordered types and the number of countable models E-mail: Submission date: 19 April 2018 Abstract: We introduce notions of stationary ordered types and theories; the latter generalizes weakly quasi-o-minimality. We show that in that context forking as a binary relation is an equivalence relation and that each stationary ordered type in a model determines some order-type as an invariant of the model. We prove that invariants of a model that correspond to distinct types behave well when the types are non-orthogonal. The developed techniques are applied to prove that in the case of a binary, stationary ordered theory with fewer than 2^{ℵ_0} countable models, the isomorphism type of a countable model is determined by a certain sequence of order-types (invariants of the model). In particular, we prove Vaught's conjecture for binary, stationary ordered theories. Mathematics Subject Classification: 03C15, 03C45, 03C64 Keywords and phrases: |

Last updated: April 25 2018 08:41 | Please send your corrections to: |