On the T 1 axiom and other separation properties in constructive point-free and point-set topology

Annals of Pure and Applied Logic 161 (4):560-569 (2010)
  Copy   BIBTEX


In this note a T1 formal space is a formal space whose points are closed as subspaces. Any regular formal space is T1. We introduce the more general notion of a formal space, and prove that the class of points of a weakly set-presentable formal space is a set in the constructive set theory CZF. The same also holds in constructive type theory. We then formulate separation properties for constructive topological spaces , strengthening separation properties discussed elsewhere. Finally we relate the properties for ct-spaces with corresponding properties of formal spaces



    Upload a copy of this work     Papers currently archived: 92,873

External links

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

Through your library

Similar books and articles

Special Issue on Point-Free Geometry and Topology.Cristina Coppola & Giangiacomo Gerla - 2013 - Logic and Logical Philosophy 22 (2):139-143.
On the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
Intuitionistic Overlap Structures.Francesco Ciraulo - 2013 - Logic and Logical Philosophy 22 (2):201-212.
Thin Ultrafilters.O. Petrenko & I. V. Protasov - 2012 - Notre Dame Journal of Formal Logic 53 (1):79-88.
Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.


Added to PP

43 (#379,297)

6 months
3 (#1,037,180)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the existence of Stone-Čech compactification.Giovanni Curi - 2010 - Journal of Symbolic Logic 75 (4):1137-1146.
Topological inductive definitions.Giovanni Curi - 2012 - Annals of Pure and Applied Logic 163 (11):1471-1483.
Locatedness and overt sublocales.Bas Spitters - 2010 - Annals of Pure and Applied Logic 162 (1):36-54.

Add more citations

References found in this work

Aspects of general topology in constructive set theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
On the collection of points of a formal space.Giovanni Curi - 2006 - Annals of Pure and Applied Logic 137 (1-3):126-146.
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.

View all 6 references / Add more references