Topological characterization of Scott domains

&
Archive for Mathematical Logic (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

On effective topological spaces.Dieter Spreen - 1998 - Journal of Symbolic Logic 63 (1):185-221.
Some modifications of Scott's theorem on injective spaces.Andrzej W. Jankowski - 1986 - Studia Logica 45 (2):155 - 166.
The topological product of s4 and S.Philip Kremer - unknown
Uniform domain representations of "Lp" -spaces.Petter K. Køber - 2007 - Mathematical Logic Quarterly 53 (2):180-205.
Scope dominance with upward monotone quantifiers.Alon Altman, Ya'Acov Peterzil & Yoad Winter - 2005 - Journal of Logic, Language and Information 14 (4):445-455.
Normal Domain Representations of Topological Spaces.Ivar Rummelhoff - 2001 - Mathematical Logic Quarterly 47 (3):409-412.
Topological elementary equivalence of closed semi-algebraic sets in the real plane.Bart Kuijpers, Jan Paredaens & Jan Van den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530-1555.
Dynamic topological logic.S. Artemov - unknown
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in the Real Plane.Bart Kuijpers, Jan Paredaens & Jan Van Den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530 - 1555.
Topological Invariance of Biological Development.Eugene Presnov, Valeria Isaeva & Nikolay Kasyanov - 2014 - Axiomathes 24 (1):117-135.
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.Geir Waagbø - 1999 - Archive for Mathematical Logic 38 (1):19-60.
Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields.Nicolas Guzy & Cédric Rivière - 2006 - Notre Dame Journal of Formal Logic 47 (3):331-341.
Scott analysis of pseudotypes.Ludomir Newelski - 1993 - Journal of Symbolic Logic 58 (2):648-663.
A topological characterization of (λ, μ)*-compactness.Heikki Mannila - 1983 - Annals of Pure and Applied Logic 25 (3):301-305.

Analytics

Added to PP
2014-03-09

Downloads
30 (#530,318)

6 months
3 (#962,988)

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