RU
🏠
📖
Gutman A.E.
Boolean-valued universe as an algebraic system. I. Basic principles [in Russian] //
Sib. Matem. Zh. 2019. V. 60, N 5. P. 1041--1062.
BibTeX: Download BIB file
@article { Gutman20190720,
author = "Gutman A.E.",
title = "Boolean-valued universe as an algebraic system. I. Basic principles",
journal = "Sib. Matem. Zh.",
year = "2019",
volume = "60",
number = "5",
pages = "1041--1062",
doi = "10.33048/smzh.2019.60.505",
language = "russian",
annote = "The paper is devoted to the study of Boolean-valued algebraic systems of set-theoretic signature. The technique of partial elements of these systems is developed. Some formal apparatus is presented for using partial elements and Boolean-valued classes in the truth values of formulas. The predicative Boolean-valued classes are studied that admit quantification. Logical interrelations are described between the basic properties of Boolean-valued systems: the transfer, mixing, and maximum principles.",
keywords = "Boolean-valued algebraic system, set theory, Boolean-valued analysis"
}