3 papers
math.LO2026
Countable models of weakly quasi-o-minimal theories II
Slavko Moconja, Predrag TanoviÄ
We confirm Martin's conjecture for a broad subclass of weakly quasi-o-minimal theories.
math.LO2026
Countable models of weakly quasi-o-minimal theories I
Slavko Moconja, Predrag TanoviÄ
We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We…
math.LO2024
Weakly o-minimal types
Slavko Moconja, Predrag TanoviÄ
We introduce and study weak o-minimality in the context of complete types in an arbitrary first-order theory. A type is weakly o-minimal if for some relatively -defi…