Boolean valued analysis. (English) Zbl 0427.03046
Applications of sheaves, Proc. Res. Symp., Durham 1977, Lect. Notes Math. 753, 714-731 (1979).
MSC:
| 03E40 | Other aspects of forcing and Boolean-valued models |
| 22B99 | Locally compact abelian groups (LCA groups) |
| 28C10 | Set functions and measures on topological groups or semigroups, Haar measures, invariant measures |
| 47B25 | Linear symmetric and selfadjoint operators (unbounded) |
| 47B15 | Hermitian and normal operators (spectral measures, functional calculus, etc.) |
| 34G20 | Nonlinear differential equations in abstract spaces |
| 03H15 | Nonstandard models of arithmetic |
