Domain representations induced by dyadic subbases

DOI10.2168/LMCS-11(1:17)2015MaRDI QIDQ5246723zbMATH OpenFDO

Authors Hideki Tsuiki, Yasuyuki Tsukamoyo

Publication date 22 April 2015

Published in Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

compact Hausdorff spacedomain theorysubbase

Mathematics Subject Classification ID

Base properties of topological spaces (54D70)

Abstract: We study domain representations induced by dyadic subbases and show that a proper dyadic subbase S of a second-countable regular space X induces an embedding of X in the set of minimal limit elements of a subdomain D of $0,1,perpomega$. In particular, if X is compact, then X is a retract of the set of limit elements of D.

Recommendations

• Properties of domain representations of spaces through dyadic subbases
• Dyadic subbases and efficiency properties of the induced \(\{0,1,\perp\}^ \omega\)-representations.
• Existence of strongly proper dyadic subbases
• scientific article; zbMATH DE number 5365727
• Domain representations of spaces of compact subsets

Cited in

(5)

• Existence of strongly proper dyadic subbases
• Dyadic subbases and efficiency properties of the induced \(\{0,1,\perp\}^ \omega\)-representations.
• Domain representations of spaces of compact subsets
• Properties of domain representations of spaces through dyadic subbases
• Compact metric spaces as minimal-limit sets in domains of bottomed sequences

This page was built for publication: Domain representations induced by dyadic subbases

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