
F. Hausdorff and D. Montgomery showed that a subspace of a completely metrizable space is developable if and only if it is F σ {F_\sigma } and G δ {G_\delta } . This extends to arbitrary metrizable locales when " F σ {F_\sigma } " and " G δ {G_\delta } " are taken in the localic sense (countable join of closed, resp. meet of open, sublocales). In any locale, the developable sublocales are exactly the complemented elements of the lattice of sublocales. The main further results of this paper concern the strictly pointless relative theory, which exists because—always in metrizable locales— there exist nonzero pointless-absolute G δ ′ s {G_\delta }’{\text {s}} , G δ {G_\delta } in every pointless extension. For instance, the pointless part pl ( R ) {\text {pl}}({\mathbf {R}}) of the real line is characterized as the only nonzero zero-dimensional separable metrizable pointless-absolute G δ {G_\delta } . There is no nonzero pointless-absolute F σ {F_\sigma } . The pointless part of any metrizable space is, if not zero, second category, i.e. not a countable join of nowhere dense sublocales.
Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets), Heyting algebras (lattice-theoretic aspects), pointless part, metrizable locales, complemented sublocales
Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets), Heyting algebras (lattice-theoretic aspects), pointless part, metrizable locales, complemented sublocales
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 25 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
