Abstract
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.
Similar content being viewed by others
References
Gutman A. E., “On the structure of the Boolean-valued universe,” Vladikavkaz. Mat. Zh., vol. 20, no. 2, 38–48 (2018).
Gutman A. E., “An example of using Δ1 terms in Boolean-valued analysis,” Vladikavkaz. Mat. Zh., vol. 14, no. 1, 47–63 (2012).
Kusraev A. G. and Kutateladze S. S., Introduction to Boolean Valued Analysis [Russian], Nauka, Moscow (2005).
Solovay R. M. and Tennenbaum S., “Iterated Cohen extensions and Souslin’s problem,” Ann. Math., vol. 94, no. 2, 201–245 (1971).
Gutman A. E. and Losenkov G. A., “Function representation of the Boolean-valued universe,” Siberian Adv. Math., vol. 8, no. 1, 99–120 (1998).
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Yu. G. Reshetnyak on the occasion of his 90th birthday.
Russian Text © The Author(s), 2019, published in Sibirskii Matematicheskii Zhurnal, 2019, Vol. 60, No. 5, pp. 1041–1062.
The author was supported by the Program of Basic Scientific Research of the Siberian Branch of the Russian Academy of Sciences (Grant No. I.1.2, Project 0314-2019-0005).
Rights and permissions
About this article
Cite this article
Gutman, A.E. Boolean-Valued Universe as an Algebraic System. I: Basic Principles. Sib Math J 60, 810–827 (2019). https://doi.org/10.1134/S0037446619050057
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446619050057