Noetherian quasi-Polish spaces

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)

Abstract: In the presence of suitable power spaces, compactness of

m a t h b f X

can be characterized as the singleton

X

being open in the space

m a t h c a l O (m a t h b f X)

of open subsets of

m a t h b f X

. 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

S i g m a_{2}^{0}

-subset of the space of

S i g m a_{2}^{0}

-subsets of a given space. This suggests higher-order analogues to compactness: We can, e.g.~, investigate the spaces

m a t h b f X

where

X

is a

D e l t a_{2}^{0}

-subset of the space of

D e l t a_{2}^{0}

-subsets of

m a t h b f X

. Call this notion

a b l a

-compactness. As

D e l t a_{2}^{0}

is self-dual, we find that both universal and existential quantifier over

a b l a

-compact spaces preserve

D e l t 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

a b l a

-compact spaces: A Quasi-Polish space is Noetherian iff it is

a b l a

-compact. Note that the restriction to Quasi-Polish spaces is sufficiently general to include plenty of examples.

Recommendations

Cited in

(5)

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)