On the collection of points of a formal space

Annals of Pure and Applied Logic 137 (1):126-146 (2006)

Abstract
On the collection of points of a formal space
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2005.05.019
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 38,992
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Inductively Generated Formal Topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Aspects of General Topology in Constructive Set Theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1):3-29.
Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
Maximal and Partial Points in Formal Spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1):291-298.

View all 8 references / Add more references

Citations of this work BETA

Aspects of General Topology in Constructive Set Theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1):3-29.
Exact Approximations to Stone–Čech Compactification.Giovanni Curi - 2007 - Annals of Pure and Applied Logic 146 (2):103-123.
Maximal and Partial Points in Formal Spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1):291-298.
Topological Inductive Definitions.Giovanni Curi - 2012 - Annals of Pure and Applied Logic 163 (11):1471-1483.

View all 8 citations / Add more citations

Similar books and articles

On the Formal Points of the Formal Topology of the Binary Tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
Edmund Husserl on the Applicability of Formal Geometry.René Jagnow - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 67-85.
Is Quantum Mechanics Pointless?Frank Arntzenius - 2002 - Philosophy of Science 70 (5):1447-1457.
Ewentyzm a punktyzm.Zdzisław Augustynek - 1993 - Filozofia Nauki 1.
Eventism and Pointism.Zdzisław Augustynek - 1993 - Logic and Logical Philosophy 1:157-169.
The Continuum as a Formal Space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.
A Quantum Theory of Space and Time.Geoffrey Hemion - 1980 - Foundations of Physics 10 (11-12):819-840.

Analytics

Added to PP index
2013-12-31

Total views
9 ( #665,256 of 2,319,691 )

Recent downloads (6 months)
4 ( #348,758 of 2,319,691 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature