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
5 Constructive algebraic integration theory – Bas Spitters
4 Localic completion of generalized metric spaces I. submitted for publication, draft available on web at http://www.cs.bham.ac.uk/~sjv – Steven Vickers - 2003
2 Integrals and Operators, volume 228 of Grundlehren der mathematische Wissenschaften – Irving E Segal, Ray A Kunze - 1978
12 The fundamental theorem of algebra: a constructive development without choice – Fred Richman - 2000
7 and Bas Spitters. Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems – Thiery Coquand
27 Formal spaces – M P Fourman, R J Grayson - 1982
11 Spaces, volume 3 of Cambridge studies in advanced mathematics – Stone - 1982
46 D.: Constructivism in Mathematics, An Introduction, Vol. 2. Number 123 – A S Troelstra, van Dalen - 1988
11 Topological Riesz spaces and measure theory – D H Fremlin - 1974
12 Algebraic integration theory – I E Segal - 1965
23 Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding – M.M. Bonsangue, F. van Breugel, J. J. M. M. Rutten - 1996
22 About Stone's notion of Spectrum – Thierry Coquand - 2000
7 Metric Boolean algebras and constructive measure theory – Thierry Coquand, Erik Palmgren
16 Metric spaces, generalised logic, and closed categories – F W Lawvere - 1973
260 Programming in Martin-Löf’s Type Theory. An Introduction – B Nordström, K Petersson, J M Smith - 1990
45 Notes on Constructive Set Theory – Peter Aczel - 1997