Representations of Complete Uniform Spaces via Uniform Domains

DOI10.1016/S1571-0661(04)80388-8zbMath1261.54015MaRDI QIDQ4916193

Hideki Tsuiki

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Uniform structures and generalizations (54E15) Continuous lattices and posets, applications (06B35)

Related Items (2)

Representations of Complete Uniform Spaces via Uniform Domains ⋮ Computability of a function with jumps: Effective uniformity and limiting recursion

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\mathbb{T}^\omega\) as a universal domain
• Effectively given domains
• Domain representations of topological spaces
• Topological properties of real number representations.
• Real number computation through Gray code embedding.
• An abstract data type for real numbers
• Representations of Complete Uniform Spaces via Uniform Domains

This page was built for publication: Representations of Complete Uniform Spaces via Uniform Domains