activity
20132026
most citedStationarily ordered types and the number of countable models

12 citations · 18 across the 10 of their papers we have counts for

collaborators
Showing math.LOShow all

9 papers · 1 filter

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.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…

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…

math.LO2021

Invariant measures in simple and in small theories

Artem Chernikov, Ehud Hrushovski, Alex Kruckman +4

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measur…

math.LO2019

Ramsey theory and topological dynamics for first order theories

Krzysztof Krupinski, Junguk Lee, Slavko Moconja

We investigate interactions between Ramsey theory, topological dynamics, and model theory. We introduce various Ramsey-like properties for first order theories and characterize the…

math.LO2018★ 1 cited

Does weak quasi-o-minimality behave better than weak o-minimality?

Slavko Moconja, Predrag Tanović

We present a relatively simple description of binary, definable subsets of models of weakly quasi-o-minimal theories. In particular, we closely describe definable linear orders and…

math.LO2018★ 3 cited

Around Rubin's "Theories of linear order"

Predrag Tanović, Slavko Moconja, Dejan Ilić

Let be a linearly ordered first-order structure and its complete theory. We investigate conditions for that could guarantee that is not…

math.LO2018★ 12 cited

Stationarily ordered types and the number of countable models

Slavko Moconja, Predrag Tanović

We introduce notions of stationarily ordered types and theories; the latter generalizes weak o-minimality and the first is a relaxed version of weak o-minimality localized at the l…

math.LO2013★ 2 cited

Asymmetric regular types

Slavko Moconja, Predrag Tanović

We study asymmetric regular types. If is regular and -asymmetric then there exists a strict order such that Morley sequences in over are strictly increas…