Constructing a quasi-uniform function space

DOI10.1016/0166-8641(95)00013-7zbMath0856.54032OpenAlexW1972881784MaRDI QIDQ1903595

Philipp Sünderhauf

Publication date: 11 December 1995

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0166-8641(95)00013-7

zbMATH Keywords

computational monadquasi-uniform spaces

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Uniform structures and generalizations (54E15) Continuous lattices and posets, applications (06B35)

Related Items

Continuity spaces: Reconciling domains and metric spaces, A faithful computational model of the real numbers, Stably Compact Spaces and Closed Relations, A study of uniformities on the space of uniformly continuous mappings, Well-quasi-ordering and the Hausdorff quasi-uniformity, Fixed point theorems for fuzzy mappings in quasi-metric spaces

Cites Work

• A faithful computational model of the real numbers
• Domains arising as algebras for powerspace constructions
• Notions of computation and monads
• Computing with infinite objects
• C-complete quasi-uniform spaces
• Quasi-uniform completeness in terms of Cauchy nets
• Convergence in topology
• Completeness of Quasi-Uniform and Syntopological Spaces
• Topologies on Spaces of Subsets
• Set-valued analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item