Computable étale spaces over a computable space Y are equivalent to computable maps from Y into the effective category ODS of overt-discrete quasi-Polish spaces, with a generalization to computable category actions.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A note on computable \'{e}tale spaces
Computable étale spaces over a computable space Y are equivalent to computable maps from Y into the effective category ODS of overt-discrete quasi-Polish spaces, with a generalization to computable category actions.