Predrag Tanovic

activity

20092018

most citedGenerically stable regular types

4 citations · 11 across the 6 of their papers we have counts for

collaborators

Showing math.LOShow all

6 papers · 1 filter

math.LO2018★ 3 cited

Around Rubin's "Theories of linear order"

Predrag Tanović, Slavko Moconja, Dejan Ilić

Let $M = (M, <, ...)$ be a linearly ordered first-order structure and $T$ its complete theory. We investigate conditions for $T$ that could guarantee that $M$ is not…

math.LO2013★ 2 cited

Asymmetric regular types

Slavko Moconja, Predrag Tanović

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

math.LO2013★ 4 cited

Generically stable regular types

Predrag Tanović

We study non-orthogonality of symmetric, regular types and show that it preserves generic stability and is an equivalence relation on the set of all generically stable, regular typ…

math.LO2013★ 1 cited

Semi-isolation and the strict order property

Sergey Sudoplatov, Predrag Tanović

We study semi-isolation as a binary relation on the locus of a complete type and prove that under some additional assumptions it induces the strict order property.

math.LO2013

Simple groups and the number of countable models

Predrag Tanović

Let $T$ be a complete, superstable theory with fewer than $2^{ℵ_{0}}$ countable models. Assuming that generic types of infinite, simple groups definable in $T^{e q}$ are suffic…

math.LO2009★ 1 cited

Generic stability, regularity, and quasiminimality

Anand Pillay, Predrag Tanovic

We study the notions generic stability, regularity, homogeneous pregeometries, quasiminimality, and their mutual relations, in an arbitrary first order theory T. We prove that "inf…