most citedThere Exist some Omega-Powers of Any Borel Rank

1 citations · 1 across the 5 of their papers we have counts for

collaborators

6 papers

cs.LO2008

Topological Complexity of omega-Powers : Extended Abstract

Olivier Finkel, Dominique Lecomte

This is an extended abstract presenting new results on the topological complexity of omega-powers (which are included in a paper "Classical and effective descriptive complexities o…

math.LO2007

How can we recover Baire class one functions?

Dominique Lecomte

Let X and Y be separable metrizable spaces, and f:X-->Y be a function. We want to recover f from its values on a small set via a simple algorithm. We show that this is possible if…

math.LO2007

Hurewicz-like tests for Borel subsets of the plane

Dominique Lecomte

Let xi be a non-null countable ordinal. We study the Borel subsets of the plane that can be made $\bormxi$ by refining the Polish topology on the real line. These sets are called p…

math.LO2007

Omega-powers and descriptive set theory

Dominique Lecomte

We study the sets of the infinite sentences constructible with a dictionary over a finite alphabet, from the viewpoint of descriptive set theory. Among other things, this gives som…

math.LO2007

On minimal non-potentially closed subsets of the plane

Dominique Lecomte

We study the Borel subsets of the plane that can be made closed by refining the Polish topology on the real line. These sets are called potentially closed. We first compare Borel s…

cs.LO20071 cited

There Exist some Omega-Powers of Any Borel Rank

Dominique Lecomte, Olivier Finkel

Omega-powers of finitary languages are languages of infinite words (omega-languages) in the form V^omega, where V is a finitary language over a finite alphabet X. They appear very…