1 citations · 2 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023
Does imply , uniformly?
Alessandro Andretta, Lorenzo Notaro
The Axiom of Dependent Choice and the Axiom of Countable Choice are two weak forms of the Axiom of Choice that can be stated for a specific set: $\mat…
math.LO2023★ 1 cited
A game for Baire's grand theorem
Lorenzo Notaro
Generalizing a result of Kiss, we provide a game that characterizes Baire class 1 functions between arbitrary separable metrizable spaces. We show that the determinacy of our game…