Apartness spaces as framework for constructive topology (2003)

Cached

Download Links

by Douglas Bridges
Venue:Ann. Pure Appl. Logic
Citations:7 - 1 self

Active Bibliography

2 A Constructive Theory of Point-Set Nearness – Luminita Vita, Douglas Bridges - 2001
2 Cauchy nets in the constructive theory of apartness spaces – Douglas Bridges - 2002
6 Constructive Mathematics, in Theory and Programming Practice – Douglas Bridges, Steve Reeves - 1997
2 Constructive Order Completeness – Marian Alexandru Baroni - 2004
Separatedness in Constructive Topology – Douglas Bridges, et al. - 2003
3 The Constructive Implicit Function Theorem and Applications in Mechanics – Douglas Bridges, Cristian Calude, Boris Pavlov, Doru Stefanescu, D. Bridges, C. Calude, B. Pavlov - 1997
1 Constructive Aspects of the Dirichlet Problem 1 – Douglas Bridges, Wang Yuchuan
4 From intuitionistic to point-free topology: on the foundation of homotopy theory – Erik Palmgren - 2005
homotopy – Erik Palmgren - 2005
4 On weak Markov's principle – Ulrich Kohlenbach - 2002
Constructive decidability of classical continuity – Martín H. Escardó - 2012
2 Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics, Martin-Löf formalization, in Agda notation, of part of the paper with the same title – Martín H. Escardó
A Tour with Constructive Real Numbers – Alberto Ciaffaglione, Pietro Di Gianantonio
Characterizing the interpretation of set theory in Martin-Löf type – Michael Rathjen, Sergei Tupailo, Leeds Ls Jt
4 Choice principles in constructive and classical set theories – Michael Rathjen - 2002
The Triumph of Types: Principia Mathematica’s Impact on Computer Science – Robert L. Constable
1 Metamathematical Properties of Intuitionistic Set Theories with Choice Principles – Michael Rathjen
6 Realizability for constructive Zermelo-Fraenkel set theory – Michael Rathjen - 2004
45 Notes on Constructive Set Theory – Peter Aczel - 1997