6 citations · 33 across the 36 of their papers we have counts for
Showing 2010 · math.LOShow all
3 papers · 2 filters
math.LO2010
Finite basis for analytic strong n-gaps
Antonio Avilés, Stevo Todorcevic
We identify the finite list of minimal analytic n-gaps which are not countably separated, and we prove that every analytic n-gap which is not countably separated contains a gap fro…
math.LO2010★ 6 cited
The Isomorphism Relation Between Tree-Automatic Structures
Olivier Finkel, Stevo Todorcevic
An -tree-automatic structure is a relational structure whose domain and relations are accepted by Muller or Rabin tree automata. We investigate in this paper the isomorphism pro…
math.LO2010
Multiple gaps
Antonio Avilés, Stevo Todorcevic
We consider the notion of multiple gap as a finite set of ideals that cannot be separated. We study the different types of such objects that can be found in the Boolean algebra of…