Function representation of the Boolean-valued universe
From MaRDI portal
Publication:5967044
zbMath0938.46006MaRDI QIDQ5967044
G. A. Losenkov, Aleksandr Efimovich Gutman
Publication date: 28 October 1999
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
Stone spaceBoolean-valued analysisfunction representationcontinuous sectioncontinuous bundle of models of set theorycontinuous polyverse
Nonstandard functional analysis (46S20) Ordered topological linear spaces, vector lattices (46A40) Other aspects of forcing and Boolean-valued models (03E40)
This page was built for publication: Function representation of the Boolean-valued universe