Rosser J. — Simplified independence proofs. Volume 31. Boolean valued models of set theory.
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Simplified independence proofs. Volume 31. Boolean valued models of set theory.
Автор: Rosser J.
Аннотация:
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.
|
|
О проекте