|
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, Douglas Bridges, Steve Reeves, 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
|
|
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
|
|
|
Metamathematical Properties of Intuitionistic Set Theories with Choice Principles
– Michael Rathjen
|
|
5
|
Realizability for constructive Zermelo-Fraenkel set theory
– Michael Rathjen
- 2004
|
|
|
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
|
|
40
|
Notes on Constructive Set Theory
– Peter Aczel
- 1997
|
|
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
|
