|
This article is cited in 2 scientific papers (total in 2 papers)
Boolean-valued universe as an algebraic system. I: Basic principles
A. E. Gutmanab a Sobolev Institute of Mathematics, Novosibirsk, Russia
b Novosibirsk State University, Novosibirsk, Russia
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.
Keywords:
Boolean-valued algebraic system, set theory, Boolean-valued analysis.
Received: 20.07.2019 Revised: 20.07.2019 Accepted: 24.07.2019
Citation:
A. E. Gutman, “Boolean-valued universe as an algebraic system. I: Basic principles”, Sibirsk. Mat. Zh., 60:5 (2019), 1041–1062; Siberian Math. J., 60:5 (2019), 810–827
Linking options:
https://www.mathnet.ru/eng/smj3132 https://www.mathnet.ru/eng/smj/v60/i5/p1041
|
Statistics & downloads: |
Abstract page: | 257 | Full-text PDF : | 72 | References: | 27 | First page: | 1 |
|