Adjoints, absolute values and polar decompositions

by Douglas Bridges , Fred Richman , Peter Schuster , Communicated William , B. Arveson
Venue:Journal of Operator Theory
Citations:1 - 0 self

Documents Related by Co-Citation

2 Trace-class operators – Douglas Bridges, Fred Richman, Peter Schuster
2 Constructive mathematics without choice – Fred Richman - 2005
1 Intuitionistic type theory, volume 1 – Per Martin-L - 1984
7 Metric Boolean algebras and constructive measure theory – Thierry Coquand, Erik Palmgren
261 Programming in Martin-Löf’s Type Theory, An introduction – B Nordström, K Peterson, J Smith - 1990
22 About Stone's notion of Spectrum – Thierry Coquand - 2000
46 Notes on Constructive Set Theory – Peter Aczel - 1997
46 Constructivism in mathematics. An introduction. Volume II. Number 123 – A S Troelstra, D van Dalen - 1988
38 Constructive analysis, volume 279 of Grundlehren der Mathematischen Wissenschaften – Errett Bishop, Douglas Bridges - 1985
35 Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST – Ieke Moerdijk, Erik Palmgren - 2000
57 Intuitionistic Formal Spaces: a first communication in – G Sambin - 1987
27 Formal spaces – M P Fourman, R J Grayson
4 Constructive algebraic integration theory – Bas Spitters
23 Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding – M.M. Bonsangue, F. van Breugel, J. J. M. M. Rutten - 1996
12 The fundamental theorem of algebra: a constructive development without choice – Fred Richman - 2000
4 Localic completion of generalized metric spaces I. submitted for publication, draft available on web at http://www.cs.bham.ac.uk/~sjv, 2003. A Uncountability of the reals We show that the statement ∀x ∈ N → R∃y ∈ R∀n ∈ N∃m ∈ N|xn − y| ≥ 1/m (2) does not h – Steven Vickers
11 Topological Riesz spaces and Measure theory – D H Fremlin - 1974
12 Algebraic integration theory – Irvin Segal
16 Metric spaces, generalised logic, and closed categories. In Rendiconti del Seminario Matematico e Fisico di Milano, volume 43. Tipografia Fusi – Bill Lawvere - 1973