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

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

Аннотация

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
СостояниеОпубликовано - 1 мая 2020

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

Цитировать