|
5
|
Sequential continuity of linear mappings in constructive mathematics
– Hajime Ishihara
- 1997
|
|
1
|
Adjoints, absolute values and polar decompositions
– Douglas Bridges, Fred Richman, Peter Schuster, Communicated William, B. Arveson
|
|
3
|
Constructive Closed Range and Open Mapping Theorems
– Douglas Bridges, Hajime Ishihara
- 1998
|
|
3
|
Locating Subsets Of A Hilbert Space
– Hajime Ishihara
- 1998
|
|
11
|
A Constructive Proof of Gleason’s Theorem
– Fred Richman, Douglas Bridges
- 1999
|
|
1
|
Constructive Mathematics and Quantum Physics
– Douglas Bridges, Karl Svozil
- 1999
|
|
|
Constructive Mathematical Truth
– Dmytro Taranovsky
- 2006
|
|
2
|
Quotient topologies in constructive set theory and type theory
– Hajime Ishihara, Erik Palmgren
- 2005
|
|
|
Formal Proof: Reconciling Correctness and Understanding
– Cristian S. Calude, Christine Müller
|
|
|
Non-constructive aspects of topology
– Erik Palmgren, U Vi
- 2008
|
|
7
|
Markov’s principle for propositional type theory
– Alexei Kopylov, Aleksey Nogin
- 2001
|
|
2
|
Resolution of the uniform lower bound problem in constructive analysis
– Erik Palmgren, Erik Palmgren
- 2007
|
|
|
Constructive logic and type theory ∗
– Erik Palmgren
- 2004
|
|
7
|
The Hahn-Banach Theorem in Type Theory
– Jan Cederquist, Thierry Coquand, Sara Negri
- 1997
|
|
7
|
MetaPRL - A Modular Logical Environment
– Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir N. Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu
- 2003
|
|
4
|
On weak Markov's principle
– Ulrich Kohlenbach
- 2002
|
|
|
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis
– Hannes Diener, Peter Schuster
|
|
12
|
Relative Constructivity
– Ulrich Kohlenbach
- 1996
|
|
|
www.cosc.brocku.ca A discrete duality between apartness algebras and apartness frames
– Ivo Düntsch, Ewa Orlowska, Ivo Düntsch, Ewa Orłowska
- 2008
|