21 citations · 59 across the 25 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
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
Forcing of infinity and algebras of distributions of binary semi-isolating formulas for strongly minimal theories
Sergey V. Sudoplatov
We apply a general approach for distributions of binary isolating and semi-isolating formulas to the class of strongly minimal theories.
math.LO2013
Algebras of distributions of binary semi-isolating formulas for families of isolated types and for countably categorical theories
Sergey V. Sudoplatov
We apply a general approach for distributions of binary isolating and semi-isolating formulas to families of isolated types and to the class of countably categorical theories.