BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

Monotone theories Moconja, Slavko


By a result of Simon it is known that a theory of a coloured linear order has quantifier elimination after naming all unary $L$-definable sets and all $L$-definable binary monotone relations. Motivated by this result we define the notion of monotone theories, theories of linear orders in which binary definable sets have previous description. More precisely, an $\aleph_0$-saturated structure $M$ is said to be monotone if there exists an $L$-definable linear order $

Item Media

Item Citations and Data


Attribution-NonCommercial-NoDerivatives 4.0 International