BOOLEAN-VALUED ANALYSIS

This chapter gives a brief account of real analysis in Boolean-valued models arising from measure algebras and algebras of projections on Hilbert space. The latter is applied, following Martin Davis, to provide a novel interpretation of the formalism of quantum theory.