Noetherian quasi-Polish spaces

DOI10.4230/LIPICS.CSL.2017.16zbMATH Open1434.03120arXiv1607.07291OpenAlexW2962841885MaRDI QIDQ5111183FDOQ5111183

Authors: Matthew De Brecht, Arno Pauly 

Publication date: 26 May 2020

Abstract: In the presence of suitable power spaces, compactness of $mathbfX$ can be characterized as the singleton $X$ being open in the space $mathcalO(mathbfX)$ of open subsets of $mathbfX$. Equivalently, this means that universal quantification over a compact space preserves open predicates. Using the language of represented spaces, one can make sense of notions such as a $Sigm{a}_2^0$-subset of the space of $Sigm{a}_2^0$-subsets of a given space. This suggests higher-order analogues to compactness: We can, e.g.~, investigate the spaces $mathbfX$ where $X$ is a $Delt{a}_2^0$-subset of the space of $Delt{a}_2^0$-subsets of $mathbfX$. Call this notion $abla$-compactness. As $Delt{a}_2^0$ is self-dual, we find that both universal and existential quantifier over $abla$-compact spaces preserve $Delt{a}_2^0$ predicates. Recall that a space is called Noetherian iff every subset is compact. Within the setting of Quasi-Polish spaces, we can fully characterize the $abla$-compact spaces: A Quasi-Polish space is Noetherian iff it is $abla$-compact. Note that the restriction to Quasi-Polish spaces is sufficiently general to include plenty of examples.

Full work available at URL: https://arxiv.org/abs/1607.07291

Recommendations

• Quasi-Polish spaces
• Infinitary Noetherian constructions I. Infinite words
• Computability on quasi-Polish spaces
• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• A generalization of a theorem of Hurewicz for quasi-Polish spaces

zbMATH Keywords

compactnessdescriptive set theoryNoetherian spacessynthetic topologywell-quasi orders

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Descriptive set theory (03E15) Compactness (54D30) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Constructive and recursive analysis (03F60)

Cited In (5)

• A computability perspective on (verified) machine learning
• On Noetherian spaces
• A generalization of a theorem of Hurewicz for quasi-Polish spaces
• Title not available (Why is that?)
• Noetherian Spaces in Verification

This page was built for publication: Noetherian quasi-Polish spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111183)