RU
🏠
Gutman A.E.
Cumulative structure of a Boolean-valued model of set theory //
Report abstract. International conference on Geometric Analysis in honor of the 90th anniversary of academician Yu.G.Reshetnyak (Novosibirsk, September, 22–28, 2019): Proceedings. Novosibirsk: Sobolev Institute of Mathematics SB RAS, 2019. P. 64–66.

We show that every Bolean-valued universe has a multilevel structure analogous to the von Neumann cumulative hierarchy, in which, at each level, the ascents are added of the Boolean-valued functions defined on subsets of the previous levels. Another cumulative structure is obtained if we consider the ascents of constant functions only and add mixings at the limit steps. Such cumulative hierarchies clarify the structure of Boolean-valued systems and, in particular, make it possible to easily prove the uniqueness of a Boolean-valued universe up to isomorphism. We also present a general tool for adding ascents to Boolean-valued systems which builds the cumulative hierarchy starting from an arbitrary extensional system. This makes it possible to construct examples of Boolean-valued systems with unusual properties. By means of the tool, we show that each of the five conditions listed in the definition of a Boolean-valued universe, is essential and does not follow from the other conditions.
Type Report abstract
Authors Gutman Alexander Efimovich
Title Cumulative structure of a Boolean-valued model of set theory
Book International conference on Geometric Analysis in honor of the 90th anniversary of academician Yu.G.Reshetnyak (Novosibirsk, September, 22–28, 2019): Proceedings
Address Novosibirsk
Publishers Sobolev Institute of Mathematics SB RAS
Year 2019
ISBN 978-5-4437-0949-9
Pages 64–66
Language English
© 2019.09.23
Files
Links
Project  Boolean-valued analysis 
Development of the theory of Boolean-valued models and their applications in functional analysis
 
 
The papers are presented here for academic purposes and are not intended for mass dissemination or copying. Last updated
February 8, 2022