Source author record

Raphaël Carroy

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.GN math.CO

Catalog footprint

Research overview

6works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Constructing Wadge classes

We show that, assuming the Axiom of Determinacy, every non-selfdual Wadge class can be constructed by starting with those of level $ω_1$ (that is, the ones that are closed under Borel preimages) and iteratively applying the operations of expansion and separated differences. The proof is essentially due to Louveau, and it yields at the same time a new proof of a theorem of Van Wesep (namely, that every non-selfdual Wadge class can be expressed as the result of a Hausdorff operation applied to the open sets). The exposition is self-contained, except for facts from classical descriptive set theory.

preprint2020arXiv

Bases for functions beyond the first Baire class

We provide a finite basis for the class of Borel functions that are not in the first Baire class, as well as the class of Borel functions that are not $σ$ -continuous with closed witnesses.

preprint2020arXiv

Every zero-dimensional homogeneous space is strongly homogeneous under determinacy

All spaces are assumed to be separable and metrizable. We show that, assuming the Axiom of Determinacy, every zero-dimensional homogeneous space is strongly homogeneous (that is, all its non-empty clopen subspaces are homeomorphic), with the trivial exception of locally compact spaces. In fact, we obtain a more general result on the uniqueness of zero-dimensional homogeneous spaces which generate a given Wadge class. This extends work of van Engelen (who obtained the corresponding results for Borel spaces), complements a result of van Douwen, and gives partial answers to questions of Terada and Medvedev.

preprint2020arXiv

Linear orders: when embeddability and epimorphism agree

When a linear order has an order preserving surjection onto each of its suborders we say that it is strongly surjective. We prove that the set of countable strongly surjective linear orders is complete for the class of sets which are the union of an analytic and a coanalytic set. Using hypotheses beyond ZFC, we prove the existence of uncountable strongly surjective orders.

preprint2020arXiv

On the existence of small antichains for definable quasi-orders

We generalize Kada's definable strengthening of Dilworth's characterization of the class of quasi-orders admitting an antichain of a given finite cardinality.

preprint2020arXiv

Sigma-continuity with closed witnesses

We use variants of the $\mathbb{G}_0$ dichotomy to establish a refinement of Solecki's basis theorem for the family of Baire-class one functions which are not $σ$ -continuous with closed witnesses.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Raphaël Carroy

Research overview

Is this your work?

6 publications

Constructing Wadge classes

Bases for functions beyond the first Baire class

Every zero-dimensional homogeneous space is strongly homogeneous under determinacy

Linear orders: when embeddability and epimorphism agree

On the existence of small antichains for definable quasi-orders

Sigma-continuity with closed witnesses

See the researcher in context

Building this map preview