## A Constructive Theory of Point-Set Nearness (2001)

### Cached

 8 Apartness spaces as framework for constructive topology – Douglas Bridges - 2003 2 Cauchy nets in the constructive theory of apartness spaces – Douglas Bridges - 2002 Separatedness in Constructive Topology – Douglas Bridges, et al. - 2003 2 Constructive Order Completeness – Marian Alexandru Baroni - 2004 1 Constructive Aspects of the Dirichlet Problem 1 – Douglas Bridges, Wang Yuchuan 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 Mathematics and Quantum Physics – Douglas Bridges, Karl Svozil - 1999 4 From intuitionistic to point-free topology: on the foundation of homotopy theory – Erik Palmgren - 2005 homotopy – Erik Palmgren - 2005 7 Constructive Mathematics, in Theory and Programming Practice – Douglas Bridges, Steve Reeves - 1997 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 Constraint Problems: Computability is . . . – Martine Ceberio, Vladik Kreinovich 1 Computability of continuous solutions of higher-type equations – Martín Escardó - 2009 3 Sequentially Continuous Linear Mappings in Constructive Analysis – Douglas Bridges, Ray Mines - 1996 3 Constructive Closed Range and Open Mapping Theorems – Douglas Bridges, Hajime Ishihara - 1998 Bl $X\mathrm{N}\emptyset$ – B \$s\mathrm{n}t\rightarrow T\mathrm{n}s B