Boolean-Valued Universe as an Algebraic System. I

Standard

Boolean-Valued Universe as an Algebraic System. I : Basic Principles. / Gutman, A. E.

In: Siberian Mathematical Journal, Vol. 60, No. 5, 01.09.2019, p. 810-827.

Research output: Contribution to journal › Article › peer-review

Harvard

Gutman, AE 2019, 'Boolean-Valued Universe as an Algebraic System. I: Basic Principles', Siberian Mathematical Journal, vol. 60, no. 5, pp. 810-827. https://doi.org/10.1134/S0037446619050057

APA

Gutman, A. E. (2019). Boolean-Valued Universe as an Algebraic System. I: Basic Principles. Siberian Mathematical Journal, 60(5), 810-827. https://doi.org/10.1134/S0037446619050057

Vancouver

Gutman AE. Boolean-Valued Universe as an Algebraic System. I: Basic Principles. Siberian Mathematical Journal. 2019 Sept 1;60(5):810-827. doi: 10.1134/S0037446619050057

Author

Gutman, A. E. / Boolean-Valued Universe as an Algebraic System. I : Basic Principles. In: Siberian Mathematical Journal. 2019 ; Vol. 60, No. 5. pp. 810-827.

BibTeX

@article{515c810bf9c147fea3e3e193aca8fce9,

title = "Boolean-Valued Universe as an Algebraic System. I: Basic Principles",

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, Boolean-valued analysis, set theory",

author = "Gutman, {A. E.}",

year = "2019",

month = sep,

day = "1",

doi = "10.1134/S0037446619050057",

language = "English",

volume = "60",

pages = "810--827",

journal = "Siberian Mathematical Journal",

issn = "0037-4466",

publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",

number = "5",

}

RIS

TY - JOUR

T1 - Boolean-Valued Universe as an Algebraic System. I

T2 - Basic Principles

AU - Gutman, A. E.

PY - 2019/9/1

Y1 - 2019/9/1

N2 - 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.

AB - 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.

KW - Boolean-valued algebraic system

KW - Boolean-valued analysis

KW - set theory

UR - http://www.scopus.com/inward/record.url?scp=85073258763&partnerID=8YFLogxK

U2 - 10.1134/S0037446619050057

DO - 10.1134/S0037446619050057

M3 - Article

AN - SCOPUS:85073258763

VL - 60

SP - 810

EP - 827

JO - Siberian Mathematical Journal

JF - Siberian Mathematical Journal

SN - 0037-4466

IS - 5

ER -

ID: 21859601