Essential and density topologies of continuous domains

&
Annals of Pure and Applied Logic 167 (9):726-736 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.04.014

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Continuous L-domains in logical form.Longchun Wang, Qingguo Li & Xiangnan Zhou - 2021 - Annals of Pure and Applied Logic 172 (9):102993.
Ideal topologies in higher descriptive set theory.Peter Holy, Marlene Koelbing, Philipp Schlicht & Wolfgang Wohofsky - 2022 - Annals of Pure and Applied Logic 173 (4):103061.
A constructive theory of continuous domains suitable for implementation.Andrej Bauer & Iztok Kavkler - 2009 - Annals of Pure and Applied Logic 159 (3):251-267.
Polish G-spaces and continuous logic.A. Ivanov & B. Majcher-Iwanow - 2017 - Annals of Pure and Applied Logic 168 (4):749-775.
The density of the nonbranching degrees.Peter A. Fejer - 1983 - Annals of Pure and Applied Logic 24 (2):113-130.
Density of the cototal enumeration degrees.Joseph S. Miller & Mariya I. Soskova - 2018 - Annals of Pure and Applied Logic 169 (5):450-462.
Non-density in punctual computability.Noam Greenberg, Matthew Harrison-Trainor, Alexander Melnikov & Dan Turetsky - 2021 - Annals of Pure and Applied Logic 172 (9):102985.
A synthetic theory of sequential domains.Bernhard Reus & Thomas Streicher - 2012 - Annals of Pure and Applied Logic 163 (8):1062-1074.
Recursive properties of Euclidean domains.Leonard Schrieber - 1985 - Annals of Pure and Applied Logic 29 (1):59-77.
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.Makoto Fujiwara & Tatsuji Kawai - 2019 - Annals of Pure and Applied Logic 170 (8):867-890.

Analytics

Added to PP
2016-06-03

Downloads
10 (#1,207,918)

6 months
3 (#1,208,833)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Continuous L-domains in logical form.Longchun Wang, Qingguo Li & Xiangnan Zhou - 2021 - Annals of Pure and Applied Logic 172 (9):102993.

Add more citations

References found in this work

No references found.

Add more references