How can we recognize potentially {bfPi}⁰_xi subsets of the plane?
classification
🧮 math.LO
math.CTmath.GN
keywords
potentiallyplanerecognizesetssubsetsborelcalledcountable
read the original abstract
Let $\xi\geq 1$ be a countable ordinal. We study the Borel subsets of the plane that can be made ${\bf\Pi}^0_\xi$ by refining the Polish topology on the real line. These sets are called potentially ${\bf\Pi}^0_\xi$. We give a Hurewicz-like test to recognize potentially ${\bf\Pi}^0_\xi$ sets.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.