Model-theoretic dividing lines via posets

Publication date 1 September 2022

Abstract: We show that for each property

m a t h s f P i n m a t h s f O P, m a t h s f I P, m a t h s f {T P}_{1}, m a t h s f {T P}_{2}, m a t h s f A T P, m a t h s f {S O P}_{3}

there is a poset

S i g m a_{m a t h s f P}

such that a theory has property

m a t h s f P

if and only if some model interprets a poset in which

S i g m a_{m a t h s f P}

can be embedded. We also introduce a new property

m a t h s f S U P

, consistent with

m a t h s f {N I P}_{2}

and implying

m a t h s f A T P

and

m a t h s f S O P

.

This page was built for publication: Model-theoretic dividing lines via posets