Apartness spaces as a framework for constructive topology

&
Annals of Pure and Applied Logic 119 (1-3):61-83 (2003)
  Copy   BIBTEX

Abstract

An axiomatic development of the theory of apartness and nearness of a point and a set is introduced as a framework for constructive topology. Various notions of continuity of mappings between apartness spaces are compared; the constructive independence of one of the axioms from the others is demonstrated; and the product apartness structure is defined and analysed

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(02)00033-7

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

Separation properties in neighbourhood and quasi-apartness spaces.Robin Havea, Hajime Ishihara & Luminiţa Vîţă - 2008 - Mathematical Logic Quarterly 54 (1):58-64.
Extending strongly continuous functions between apartness spaces.Luminiţa Simona Vîţă - 2006 - Archive for Mathematical Logic 45 (3):351-356.
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
Andou, Y., Church–Rosser property of a simple reduction for full first-order classical natural deduction (1–3) 225–237 Bridges, D. and Vıˆt-a, L., Apartness spaces as a framework for constructive topology (1–3) 61–83 Di Nasso, M. and Hrbacek, K., Combinatorial principles in. [REVIEW]Q. Feng, W. H. Woodin & M. Gitik - 2003 - Annals of Pure and Applied Logic 119 (1-3):295.
A constructive treatment of Urysohn's Lemma in an apartness space.Douglas Bridges & Hannes Diener - 2006 - Mathematical Logic Quarterly 52 (5):464-469.
Apartness, Topology, and Uniformity: a Constructive View.Douglas Bridges, Peter Schuster & Luminiţa Vîţă - 2002 - Mathematical Logic Quarterly 48 (4):16-28.
Product a-frames and proximity.Douglas S. Bridges - 2008 - Mathematical Logic Quarterly 54 (1):12-26.
On the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
Generalising compactness.Hannes Diener - 2008 - Mathematical Logic Quarterly 54 (1):49-57.
From sets and types to topology and analysis: towards practicable foundations for constructive mathematics.Laura Crosilla & Peter Schuster (eds.) - 2005 - New York: Oxford University Press.
Proximal and uniform convergence on apartness spaces.Luminiţa Simona Vîţă - 2003 - Mathematical Logic Quarterly 49 (3):255.
Sequent calculus proof theory of intuitionistic apartness and order relations.Sara Negri - 1999 - Archive for Mathematical Logic 38 (8):521-547.
Semigroups with apartness.Siniša Crvenković, Melanija Mitrović & Daniel Abraham Romano - 2013 - Mathematical Logic Quarterly 59 (6):407-414.
Natural Topology.Frank Waaldijk - 2012 - Brouwer Society.

Analytics

Added to PP
2014-01-16

Downloads
22 (#706,230)

6 months
3 (#965,065)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Two subcategories of apartness spaces.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (2):132-139.
Quasi-apartness and neighbourhood spaces.Hajime Ishihara, Ray Mines, Peter Schuster & Luminiţa Vîţă - 2006 - Annals of Pure and Applied Logic 141 (1):296-306.
Product a-frames and proximity.Douglas S. Bridges - 2008 - Mathematical Logic Quarterly 54 (1):12-26.
A proof–technique in uniform space theory.Douglas Bridges & Luminiţa Vîţă - 2003 - Journal of Symbolic Logic 68 (3):795-802.

View all 15 citations / Add more citations

References found in this work

Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.

View all 8 references / Add more references