BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Dominique Lecomte

Dominique Lecomte contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.GNLogic in Computer ScienceFormal Languages and Automata Theory

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
4topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2020arXiv

Descriptive Set Theory and $ω$-Powers of Finitary Languages

The $ω$-power of a finitary language L over a finite alphabet $Σ$ is the language of infinite words over $Σ$ defined by L $\infty$ := {w 0 w 1. .. $\in$ $Σ$ $ω$ | $\forall$i $\in$ $ω$ w i $\in$ L}. The $ω$-powers appear very naturally in Theoretical Computer Science in the characterization of several classes of languages of infinite words accepted by various kinds of automata, like B{ü}chi automata or B{ü}chi pushdown automata. We survey some recent results about the links relating Descriptive Set Theory and $ω$-powers.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On small analytic relations

We study the class of analytic binary relations on Polish spaces, compared with the notions of continuous reducibility or injective continuous reducibility. In particular, we characterize when a locally countable Borel relation is $Σ$ 0 $ξ$ (or $Π$ 0 $ξ$), when $ξ$ $\ge$ 3, by providing a concrete finite antichain basis. We give a similar characterization for arbitrary relations when $ξ$ = 1. When $ξ$ = 2, we provide a concrete antichain of size continuum made of locally countable Borel relations minimal among non-$Σ$ 0 2 (or non-$Π$ 0 2) relations. The proof of this last result allows us to strengthen a result due to Baumgartner in topological Ramsey theory on the space of rational numbers. We prove that positive results hold when $ξ$ = 2 in the acyclic case. We give a general positive result in the non-necessarily locally countable case, with another suitable acyclicity assumption. We provide a concrete finite antichain basis for the class of uncountable analytic relations. Finally, we deduce from our positive results some antichain basis for graphs, of small cardinality (most of the time 1 or 2).

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Baire-class $ξ$ colorings: the first three levels

The $\mathbb{G}_0$-dichotomy due to Kechris, Solecki and Todor\vcević characterizes the analytic relations having a Borel-measurable countable coloring. We give a version of the $\mathbb{G}_0$-dichotomy for $\boraxi$-measurable countable colorings when $ξ\leq 3$. A $\boraxi$-measurable countable coloring gives a covering of the diagonal consisting of countably many $\boraxi$ squares. This leads to the study of countable unions of $\boraxi$ rectangles. We also give a Hurewicz-like dichotomy for such countable unions when $ξ\leq 2$.

0 citations0 reviewsNo code linkedOpen access