Slavko Moconja

dblp:154/9401 · DBLP profile ↗
← Back
4ranked-venue papers
3as first author
1since 2021 · last 2025
0000-0003-4095-8830ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 3 first-author · 1 since 2021
YearPublicationVenuePosition
2025 Weakly o-minimal types
Slavko Moconja, Predrag Tanovic
Ann. Pure Appl. Log.1
2020 Stationarily ordered types and the number of countable models
Slavko Moconja, Predrag Tanovic
Ann. Pure Appl. Log.1
2020 Around Rubin's "Theories of linear order"
abstract
Abstract Let $\mathcal M=(M,<,\ldots)$ be a linearly ordered first-order structure and T its complete theory. We investigate conditions for T that could guarantee that $\mathcal M$ is not much more complex than some colored orders (linear orders with added unary predicates). Motivated by Rubin’s work [5], we label three conditions expressing properties of types of T and/or automorphisms of models of T. We prove several results which indicate the “geometric” simplicity of definable sets in models of theories satisfying these conditions. For example, we prove that the strongest condition characterizes, up to definitional equivalence (inter-definability), theories of colored orders expanded by equivalence relations with convex classes.
Predrag Tanovic, Slavko Moconja, Dejan Ilic
J. Symb. Log.2
2015 Asymmetric regular types
Slavko Moconja, Predrag Tanovic
Ann. Pure Appl. Log.1