scientific article; zbMATH DE number 7093560

MaRDI QIDQ5228883zbMATH OpenFDO

Authors Matthew De Brecht, Tatsuji Kawai

Publication date 13 August 2019

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

zbMATH Keywords

topologydomain theoryVietoris topologylocale theoryconsonant spacequasi-Polish spacepowerspace

Mathematics Subject Classification ID

Frames, locales (06D22) Descriptive set theory (03E15) Continuous lattices and posets, applications (06B35) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Recommendations

• On power commutative semigroups
• scientific article; zbMATH DE number 3300389
• Commutators on power series spaces
• On Commutative Power-Associative Nilalgebras
• Homotopy commutativity, homotopy associativity and power spaces
• scientific article; zbMATH DE number 1107750
• On power homogeneous spaces
• The Hoare and Symth power domain constructors commute under composition
• Quasi-commutativity related to powers
• A Theory of Power-Associative Commutative Algebras

Cites work

• scientific article; zbMATH DE number 2125651 (Why is no real title available?)
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 3929909 (Why is no real title available?)
• scientific article; zbMATH DE number 19490 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 851999 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• A convenient category of domains
• A generalization of a theorem of Hurewicz for quasi-Polish spaces
• A universal characterization of the double powerlocale
• Adjoint product and hom functors in general topology
• An upper power domain construction in terms of strongly compact sets
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
• Consonance and topological completeness in analytic spaces
• Continuous Lattices and Domains
• Data Types as Lattices
• Levels of discontinuity, limit-computability, and jump operators
• Lower and upper power domain constructions commute on all cpos
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On the dissonance of some metrizable spaces
• Quasi-Polish spaces
• Spatiality of countably presentable locales (proved with the Baire category theorem)
• Stone coalgebras
• The Hoare and Symth power domain constructors commute under composition
• When do the Upper Kuratowski Topology (Homeomorphically, Scott Topology) and the Co-compact Topology Coincide?
• When does the Fell topology on a hyperspace of closed sets coincide with the meet of the upper Kuratowski and the lower Vietoris topologies?

Cited in

(13)

• Some open problems on well-filtered spaces and sober spaces
• Some notes on spaces of ideals and computable topology
• Observationally-induced lower and upper powerspace constructions
• Scott topology on Smyth power posets
• The fixed-point property for represented spaces
• Coincidence of the upper Vietoris topology and the Scott topology
• On co-sober spaces
• Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
• On the commutativity of the powerspace constructions
• Two topologies on the lattice of Scott closed subsets
• Core-compactness, consonance and the Smyth powerspaces
• scientific article; zbMATH DE number 7577572 (Why is no real title available?)
• First-countability, \( \omega \)-Rudin spaces and well-filtered determined spaces

This page was built for publication:

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