|
This article is cited in 1 scientific paper (total in 1 paper)
Boolean-valued universe as an algebraic system. ii: intensional hierarchies
A. E. Gutmanab a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University
Abstract:
Under study are the notions of transitivity, regularity, and $\sigma$-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, set theory, Boolean-valued analysis, universe, cumulative hierarchy.
Received: 09.03.2020 Revised: 09.03.2020 Accepted: 08.04.2020
Citation:
A. E. Gutman, “Boolean-valued universe as an algebraic system. ii: intensional hierarchies”, Sibirsk. Mat. Zh., 61:3 (2020), 539–571; Siberian Math. J., 61:3 (2020), 426–452
Linking options:
https://www.mathnet.ru/eng/smj6000 https://www.mathnet.ru/eng/smj/v61/i3/p539
|
Statistics & downloads: |
Abstract page: | 156 | Full-text PDF : | 76 | References: | 19 | First page: | 1 |
|