10 citations · 57 across the 48 of their papers we have counts for
Showing 2007 · math.LOShow all
3 papers · 2 filters
math.LO2007
Classical and Effective Descriptive Complexities of omega-Powers
Olivier Finkel, Dominique Lecomte
We prove that, for each non null countable ordinal alpha, there exist some Sigma^0_alpha-complete omega-powers, and some Pi^0_alpha-complete omega-powers, extending previous works…
math.LO2007
Local Sentences and Mahlo Cardinals
Olivier Finkel, Stevo Todorcevic
Local sentences were introduced by J.-P. Ressayre who proved certain remarkable stretching theorems establishing the equivalence between the existence of finite models for these se…
math.LO2007
An Example of Pi^0_3-complete Infinitary Rational Relation
Olivier Finkel
We give in this paper an example of infinitary rational relation, accepted by a 2-tape Büchi automaton, which is Pi^0_3-complete in the Borel hierarchy. Moreover the example of inf…