10 citations · 57 across the 48 of their papers we have counts for
4 papers · 1 filter
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…
An Effective Extension of the Wagner Hierarchy to Blind Counter Automata
Olivier Finkel
The extension of the Wagner hierarchy to blind counter automata accepting infinite words with a Muller acceptance condition is effective. We determine precisely this hierarchy.
On Omega Context Free Languages which are Borel Sets of Infinite Rank
Olivier Finkel
This paper is a continuation of the study of topological properties of omega context free languages (omega-CFL). We proved before that the class of omega-CFL exhausts the hierarchy…
On Infinitary Rational Relations and Borel Sets
Olivier Finkel
We prove in this paper that there exists some infinitary rational relations which are Sigma^0_3-complete Borel sets and some others which are Pi^0_3-complete. This implies that the…