4 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.LO2025
The number of countable models of first-order theories
Anand Pillay, Predrag TanoviÄ, Predrag Tanović
Throughout, denotes a complete first-order theory in a countable language that has infinite models and denotes the number of countable models of , up to…
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…