Function representation of the Boolean-valued universe

zbMath0918.03022MaRDI QIDQ5906359

Aleksandr Efimovich Gutman, G. A. Losenkov

Publication date: 26 April 1999

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

Stone spaceBoolean-valued analysisfunction representationcontinuous sectionBoolean-valued algebraic systemcontinuous bundle of models of set theorycontinuous polyverse

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

Boolean-valued universe as an algebraic system. I: Basic principles