3 papers
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 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.