scientific article; zbMATH DE number 7093560
From MaRDI portal
Publication:5228883
Matthew De Brecht, Tatsuji Kawai
Publication date: 13 August 2019
Full work available at URL: https://arxiv.org/abs/1709.06226
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Descriptive set theory (03E15) Frames, locales (06D22) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Continuous lattices and posets, applications (06B35)
Related Items (10)
The fixed-point property for represented spaces ⋮ Some open problems on well-filtered spaces and sober spaces ⋮ Core-compactness, consonance and the Smyth powerspaces ⋮ Scott topology on Smyth power posets ⋮ Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions ⋮ Coincidence of the upper Vietoris topology and the Scott topology ⋮ Unnamed Item ⋮ First-countability, \( \omega \)-Rudin spaces and well-filtered determined spaces ⋮ Two topologies on the lattice of Scott closed subsets ⋮ Some notes on spaces of ideals and computable topology
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stone coalgebras
- The Hoare and Symth power domain constructors commute under composition
- Lower and upper power domain constructions commute on all cpos
- On the dissonance of some metrizable spaces
- A universal characterization of the double powerlocale
- When does the Fell topology on a hyperspace of closed sets coincide with the meet of the upper Kuratowski and the lower Vietoris topologies?
- Quasi-Polish spaces
- Adjoint product and hom functors in general topology
- Base-complexity classifications of qcb0-spaces1
- A Convenient Category of Domains
- Data Types as Lattices
- Consonance and topological completeness in analytic spaces
- A generalization of a theorem of Hurewicz for quasi-Polish spaces
- Continuous Lattices and Domains
- When do the Upper Kuratowski Topology (Homeomorphically, Scott Topology) and the Co-compact Topology Coincide?
- Non-Hausdorff Topology and Domain Theory
- Levels of discontinuity, limit-computability, and jump operators
- Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
- Spatiality of countably presentable locales (proved with the Baire category theorem)
- An upper power domain construction in terms of strongly compact sets
This page was built for publication:
