{"docId":1175,"paperId":1175,"url":"https:\/\/lmcs.episciences.org\/1175","doi":"10.2168\/LMCS-11(1:17)2015","journalName":"Logical Methods in Computer Science","issn":"","eissn":"1860-5974","volume":[{"vid":152,"name":"Volume 11, Issue 1"}],"section":[],"repositoryName":"arXiv","repositoryIdentifier":"1401.1393","repositoryVersion":5,"repositoryLink":"https:\/\/arxiv.org\/abs\/1401.1393v5","dateSubmitted":"2013-05-16 00:00:00","dateAccepted":"2015-06-25 11:52:34","datePublished":"2015-03-31 00:00:00","titles":["Domain Representations Induced by Dyadic Subbases"],"authors":["Tsuiki, Hideki","Tsukamoyo, Yasuyuki"],"abstracts":["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,\\perp\\}\\omega$. In particular, if X is compact, then X is a retract of the set of limit elements of D."],"keywords":["Mathematics - General Topology","Computer Science - Logic in Computer Science"]}