Boolean-Valued Universe as an Algebraic System. I: Basic Principles Научная публикация
| Журнал |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||||
|---|---|---|---|---|---|
| Вых. Данные | Год: 2019, Том: 60, Номер: 5, Страницы: 810-827 Страниц : 18 DOI: 10.1134/S0037446619050057 | ||||
| Ключевые слова | Boolean-valued algebraic system; Boolean-valued analysis; set theory | ||||
| Авторы |
|
||||
| Организации |
|
Реферат:
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.
Библиографическая ссылка:
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
Идентификаторы БД:
| Web of science: | WOS:000488948900005 |
| Scopus: | 2-s2.0-85073258763 |
| OpenAlex: | W2978656947 |