Locating the range of an operator on a Hilbert space (1992)

Cached

Download Links

by Douglas Bridges , Hajime Ishihara
Venue:Bull. London Math. Soc
Citations:2 - 2 self

Active Bibliography

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
1 Constructive Mathematics and Quantum Physics – Douglas Bridges, Karl Svozil - 1999
12 A Constructive Proof of Gleason’s Theorem – Fred Richman, Douglas Bridges - 1999
Constructive Mathematical Truth – Dmytro Taranovsky - 2006
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
4 On weak Markov's principle – Ulrich Kohlenbach - 2002
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis – Hannes Diener, Peter Schuster
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
7 Intuitionistic Choice and Restricted Classical Logic – Ulrich Kohlenbach - 2000
Holography, Quantum . . . – P. A. Zizzi - 2000
3584 CS Utrecht The NetherlandsRAMSEY'S THEOREM: AND THE PIGEONHOLE PRINCIPLE IN INTUITIONISTIC MATHEMATICS – Wim Veldman, Marc Bezem, Wim Veldman, Mathematisch Instituut, Marc Bezem - 1992