Boolean-Valued Universe as an Algebraic System. I: Basic Principles Full article
| Journal |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2019, Volume: 60, Number: 5, Pages: 810-827 Pages count : 18 DOI: 10.1134/S0037446619050057 | ||||
| Tags | Boolean-valued algebraic system; Boolean-valued analysis; set theory | ||||
| Authors |
|
||||
| Affiliations |
|
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. © 2019, Pleiades Publishing, Inc.
Cite:
Gutman A.E.
Boolean-Valued Universe as an Algebraic System. I: Basic Principles
Siberian Mathematical Journal. 2019. V.60. N5. P.810-827. DOI: 10.1134/S0037446619050057 WOS Scopus OpenAlex
Boolean-Valued Universe as an Algebraic System. I: Basic Principles
Siberian Mathematical Journal. 2019. V.60. N5. P.810-827. DOI: 10.1134/S0037446619050057 WOS Scopus OpenAlex
Identifiers:
| Web of science: | WOS:000488948900005 |
| Scopus: | 2-s2.0-85073258763 |
| OpenAlex: | W2978656947 |