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 |