Аннотация
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 |