Research output: Contribution to journal › Article › peer-review
Boolean-Valued Universe as an Algebraic System. II : Intensional Hierarchies. / Gutman, A. E.
In: Siberian Mathematical Journal, Vol. 61, No. 3, 01.05.2020, p. 426-452.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - Boolean-Valued Universe as an Algebraic System. II
T2 - Intensional Hierarchies
AU - Gutman, A. E.
PY - 2020/5/1
Y1 - 2020/5/1
N2 - Under study are the notions of transitivity, regularity, and σ-regularity for Boolean-valued algebraic systems of set-theoretic signature. The notion of a universe over an arbitrary extensional Boolean-valued system is introduced. Some description is proposed for the structure of the universe by means of various hierarchies. The results are used for proving the uniqueness of a Boolean-valued universe up to a unique isomorphism.
AB - Under study are the notions of transitivity, regularity, and σ-regularity for Boolean-valued algebraic systems of set-theoretic signature. The notion of a universe over an arbitrary extensional Boolean-valued system is introduced. Some description is proposed for the structure of the universe by means of various hierarchies. The results are used for proving the uniqueness of a Boolean-valued universe up to a unique isomorphism.
KW - Boolean-valued algebraic system
KW - Boolean-valued analysis
KW - cumulative hierarchy
KW - set theory
KW - universe
UR - http://www.scopus.com/inward/record.url?scp=85086333219&partnerID=8YFLogxK
U2 - 10.1134/S0037446620030052
DO - 10.1134/S0037446620030052
M3 - Article
AN - SCOPUS:85086333219
VL - 61
SP - 426
EP - 452
JO - Siberian Mathematical Journal
JF - Siberian Mathematical Journal
SN - 0037-4466
IS - 3
ER -
ID: 24519784