Boolean-valued universe as an algebraic system. I. Basic principles [in Russian]

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.

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.

Type	Article
Authors	Gutman Alexander Efimovich
Title	Boolean-valued universe as an algebraic system. I. Basic principles
Journal	Sibirskii Matematicheskii Zhurnal
Year	2019
Volume	60
Number	5
Pages	1041–1062
DOI	10.33048/smzh.2019.60.505
Language	Russian
©	2019.07.20
Files	Article (PDF) Author version (PDF)
Links	Record in BibTeX format Information on ResearchGate Journal site English version
Project	Boolean-valued analysis Development of the theory of Boolean-valued models and their applications in functional analysis

The papers are presented here for academic purposes and are not intended for mass dissemination or copying.

Last updated
September 30, 2019