Compact metric spaces as minimal-limit sets in domains of bottomed sequences

DOI10.1017/S0960129504004396zbMath1072.54024OpenAlexW1998196270MaRDI QIDQ4659543

Hideki Tsuiki

Publication date: 21 March 2005

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129504004396

zbMATH Keywords

algebraic domaincompact spaceinductive dimensiondomain embedding

Mathematics Subject Classification ID

Dimension theory in general topology (54F45) Embedding (54C25) Continuous lattices and posets, applications (06B35)

Related Items (5)

A stream calculus of bottomed sequences for real number computation ⋮ Towards a descriptive set theory for domain-like structures ⋮ Independent subbases and non-redundant codings of separable metrizable spaces ⋮ Properties of domain representations of spaces through dyadic subbases ⋮ Real number computation with committed choice logic programming languages

This page was built for publication: Compact metric spaces as minimal-limit sets in domains of bottomed sequences