scientific article; zbMATH DE number 7093560

MaRDI QIDQ5228883FDOQ5228883

Authors: Matthew De Brecht, Tatsuji Kawai 

Publication date: 13 August 2019

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

Title of this publication is not available (Why is that?)

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

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)

Cites Work

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

Cited In (12)

• Some open problems on well-filtered spaces and sober spaces
• Some notes on spaces of ideals and computable topology
• Scott topology on Smyth power posets
• Observationally-induced lower and upper powerspace constructions
• 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
• Two topologies on the lattice of Scott closed subsets
• Core-compactness, consonance and the Smyth powerspaces
• Title not available (Why is that?)
• 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)