| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661856 | Annals of Pure and Applied Logic | 2013 | 5 Pages |
Abstract
A characterisation of a type of weak-operator continuous linear functional on certain linear subsets of B(H), where H is a Hilbert space, is derived within Bishop-style constructive mathematics.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
