Raphaël Carroy

dblp:130/2441 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
1since 2021 · last 2025
0000-0003-2494-9184ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 3 first-author · 1 since 2021
YearPublicationVenuePosition
2025 A Classification of the Wadge Hierarchies on Zero-dimensional Polish Spaces
abstract
Abstract We provide a complete classification, up to order-isomorphism, of all possible Wadge hierarchies on zero-dimensional Polish spaces using (essentially) countable ordinals as complete invariants. We also observe that although our assignment of invariants is very simple and there are only $ \aleph _1 $ -many equivalence classes, the above classification problem is quite complex from the descriptive set-theoretic point of view: in particular, there is no Borel procedure to determine whether two zero-dimensional Polish spaces have isomorphic Wadge hierarchies. All results are based on a complete and explicit description of the Wadge hierarchy on an arbitrary zero-dimensional Polish space, depending on its topological properties.
Raphaël Carroy, Luca Motto Ros, Salvatore Scamperti
J. Symb. Log.1
2020 Bases for Functions beyond the First Baire class
abstract
Abstract 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 $\sigma $ -continuous with closed witnesses.
Raphaël Carroy, Benjamin D. Miller
J. Symb. Log.1
2013 A quasi-order on continuous functions
abstract
Abstract We define a quasi-order on Borel functions from a zero-dimensional Polish space into another that both refines the order induced by the Baire hierarchy of functions and generalises the embeddability order on Borel sets. We study the properties of this quasi-order on continuous functions, and we prove that the closed subsets of a zero-dimensional Polish space are well-quasi-ordered by bi-continuous embeddability.
Raphaël Carroy
J. Symb. Log.1