A new Polish topology with a Sigma-1-1 basis yields a streamlined proof of Silver's dichotomy and is the largest regular effective topology on Baire space.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A note on an effective Polish topology and Silver's Dichotomy theorem
A new Polish topology with a Sigma-1-1 basis yields a streamlined proof of Silver's dichotomy and is the largest regular effective topology on Baire space.