Normal Domain Representations of Topological Spaces

Mathematical Logic Quarterly 47 (3):409-412 (2001)
  Copy   BIBTEX

Abstract

D′ ⊆ D is a normal totality on a Scott domain D if it is upward closed and x ⊓ y ∈ D′ is an equivalence relation on D′. We prove that every topological space can be represented by a domain with norma totality

Categories

Keywords

Reprint years

DOI

10.1002/1521-3870(200108)47:3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Uniform domain representations of "Lp" -spaces.Petter K. Køber - 2007 - Mathematical Logic Quarterly 53 (2):180-205.
Some modifications of Scott's theorem on injective spaces.Andrzej W. Jankowski - 1986 - Studia Logica 45 (2):155 - 166.
Dynamic topological logic.S. Artemov - unknown
The topological product of s4 and S.Philip Kremer - unknown
Disjoint Unions of Topological Spaces and Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (4):493-508.
Functorial duality for ortholattices and de Morgan lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.
Nonconstructive Properties of Well-Ordered T 2 topological Spaces.Kyriakos Keremedis & Eleftherios Tachtsis - 1999 - Notre Dame Journal of Formal Logic 40 (4):548-553.
On topological spaces equivalent to ordinals.Jörg Flum & Juan Carlos Martinez - 1988 - Journal of Symbolic Logic 53 (3):785-795.
A Domain of Unital Channels.Johnny Feng - 2012 - Foundations of Physics 42 (7):959-975.
Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (3):359-366.
Computability of measurable sets via effective topologies.Yongcheng Wu & Decheng Ding - 2006 - Archive for Mathematical Logic 45 (3):365-379.
Constrained semantic transference: A formal theory of metaphors.Bipin Indurkhya - 1986 - Synthese 68 (3):515 - 551.
Domains of Discourse.Philip Hugly & Charles Sayward - 1987 - Logique Et Analyse 117 (17):173-176.
Knowledge representation as domain.Alexei Yu Muravitsky - 1997 - Journal of Applied Non-Classical Logics 7 (3):343-364.
Monadic binary relations and the monad systems at near-standard points.Nader Vakil - 1987 - Journal of Symbolic Logic 52 (3):689-697.

Analytics

Added to PP
2013-12-01

Downloads
13 (#978,482)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references