Boolean-valued universe as an algebraic system. II: Intensional hierarchies

DOI10.1134/S0037446620030052zbMath1481.03028OpenAlexW3034263925MaRDI QIDQ2191374

Aleksandr Efimovich Gutman

Publication date: 24 June 2020

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0037446620030052

zbMATH Keywords

universeBoolean-valued analysiscumulative hierarchyBoolean-valued algebraic system

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• Locally one-dimensional \(K\)-spaces and \(\sigma\)-distributive Boolean algebras
• Boolean-valued universe as an algebraic system. I: Basic principles
• Iterated Cohen extensions and Souslin's problem
• A hierarchy of formulas in set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Boolean-valued universe as an algebraic system. II: Intensional hierarchies