Boolean-Valued Universe as an Algebraic System. II: Intensional Hierarchies

A. E. Gutman

doi:10.1134/S0037446620030052

Boolean-Valued Universe as an Algebraic System. II: Intensional Hierarchies

A. E. Gutman

Кафедра математического анализа ММФ

Результат исследования: Научные публикации в периодических изданиях › статья › рецензирование

Аннотация

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.

Язык оригинала	английский
Страницы (с-по)	426-452
Число страниц	27
Журнал	Siberian Mathematical Journal
Том	61
Номер выпуска	3
DOI	https://doi.org/10.1134/S0037446620030052
Состояние	Опубликовано - 1 мая 2020

Доступ к документу

10.1134/S0037446620030052

Link to publication in Scopus

Fingerprint Подробные сведения о темах исследования «Boolean-Valued Universe as an Algebraic System. II: Intensional Hierarchies». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

@article{02addd72edb4468f98947eb7f20108f4,

title = "Boolean-Valued Universe as an Algebraic System. II: Intensional Hierarchies",

abstract = "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.",

keywords = "Boolean-valued algebraic system, Boolean-valued analysis, cumulative hierarchy, set theory, universe",

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

year = "2020",

month = may,

day = "1",

doi = "10.1134/S0037446620030052",

language = "English",

volume = "61",

pages = "426--452",

journal = "Siberian Mathematical Journal",

issn = "0037-4466",

publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",

number = "3",

}

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 -