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.LO2025
The number of countable models of first-order theories
Anand Pillay, 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
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…