Abstract: 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.

Keywords: measure algebra, algebra of projections, Hilbert space, formalism of quantum theory,