Rosser J. Simplified Independence Proofs.Boolean.Set Theory 1969

Textbook in PDF format

In mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory. In a Boolean-valued model, the truth values of propositions are not limited to "true" and "false", but instead take values in some fixed complete Boolean algebra