... Rosser J.B. - Simplified independence proofs. Boolean valued models of set theory . ... Название: Simplified independence proofs. ... Автор: Rosser J.B. Аннотация: . 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. ... Agreement set see "Set" . ...