Loading [MathJax]/jax/output/HTML-CSS/jax.js

Hideki Tsuiki ; Yasuyuki Tsukamoyo - Domain Representations Induced by Dyadic Subbases

lmcs:1175 - Logical Methods in Computer Science, March 31, 2015, Volume 11, Issue 1 - https://doi.org/10.2168/LMCS-11(1:17)2015
Domain Representations Induced by Dyadic SubbasesArticle

Authors: Hideki Tsuiki ; Yasuyuki Tsukamoyo

    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,⊥}ω. In particular, if X is compact, then X is a retract of the set of limit elements of D.

    https://doi.org/10.2168/LMCS-11(1:17)2015
    Source: arXiv.org:1401.1393
    Volume: Volume 11, Issue 1
    Published on: March 31, 2015
    Imported on: May 16, 2013
    Keywords: Mathematics - General Topology,Computer Science - Logic in Computer Science
    Licence: arXiv.org - Non-exclusive license to distribute

    Classifications

    Mathematics Subject Classification 20201
    Sources:
    • [1] zbMATH Open.

    1 Document citing this article

    Share and export

    Consultation statistics

    This page has been seen 2037 times.
    This article's PDF has been downloaded 421 times.