On the collection of points of a formal space

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

Abstract

On the collection of points of a formal space

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2005.05.019

Links

PhilArchive



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

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 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 - 2003 - Philosophy of Science 70 (5):1447-1457.
Ewentyzm a punktyzm.Zdzisław Augustynek - 1993 - Filozofia Nauki 1.
The Structure of Gunk: Adventures in the Ontology of Space.Jeffrey Sanford Russell - 2008 - In Dean Zimmerman (ed.), Oxford Studies in Metaphysics: Volume 4. Oxford University Press. pp. 248.
Space: in science, art, and society.François Penz, Gregory Radick & Robert Howell (eds.) - 2004 - New York: Cambridge University Press.
The complexity of squares in the group of isometries of the Baire space.Aaron Hill - 2012 - Journal of Symbolic Logic 77 (1):329-336.
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.
Identity, continuity and consciousness.Mark R. Whittington - unknown
The accountability of hand-drawn maps and rendering practices.Yutaka Kitazawa - 1999 - Human Studies 22 (2-4):299-314.
On some peculiar aspects of the constructive theory of point-free spaces.Giovanni Curi - 2010 - Mathematical Logic Quarterly 56 (4):375-387.
A quantum theory of space and time.Geoffrey Hemion - 1980 - Foundations of Physics 10 (11-12):819-840.
Space-time as a primitive for space and motion.Philippe Muller - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. Ios Press. pp. 63-76.

Analytics

Added to PP
2013-12-31

Downloads
21 (#733,828)

6 months
2 (#1,186,462)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Aspects of general topology in constructive set theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
Maximal and partial points in formal spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1-3):291-298.
Exact approximations to Stone–Čech compactification.Giovanni Curi - 2007 - Annals of Pure and Applied Logic 146 (2):103-123.
Topological inductive definitions.Giovanni Curi - 2012 - Annals of Pure and Applied Logic 163 (11):1471-1483.

View all 9 citations / Add more citations

References found in this work

Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
Aspects of general topology in constructive set theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
Maximal and partial points in formal spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1-3):291-298.

View all 8 references / Add more references