Raphaël Carroy

activity

20142025

most citedMinimal definable graphs of definable chromatic number at least three

4 citations · 10 across the 10 of their papers we have counts for

collaborators

Showing 2020 · math.LOShow all

3 papers · 2 filters

math.LO2020

Bases for functions beyond the first Baire class

Raphaël Carroy, Benjamin D. Miller

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 wi…

math.LO2020

Sigma-continuity with closed witnesses

Raphaël Carroy, Benjamin D. Miller

We use variants of the $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 c…

math.LO2020

On the existence of small antichains for definable quasi-orders

Raphaël Carroy, Benjamin D. Miller, Zoltán Vidnyánszky

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