On the structure of the Boolean-valued universe

DOI10.23671/VNC.2018.2.14718MaRDI QIDQ4970044zbMATH OpenFDO

Authors A. E. Gutman

Publication date 14 October 2020

Published in Владикавказский математический журнал (Search for Journal in Brave)

Full work available at URL http://mathnet.ru/eng/vmj651

zbMATH Keywords

universeset theoryBoolean-valued modelcumulative hierarchy

Mathematics Subject Classification ID

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

Recommendations

• Boolean-valued universe as an algebraic system. I: Basic principles
• scientific article; zbMATH DE number 1431640
• Boolean-valued universe as an algebraic system. II: Intensional hierarchies
• scientific article; zbMATH DE number 3884146
• Eastern Model‐Theory for Boolean‐Valued Theories

Cites work

• scientific article; zbMATH DE number 1498403 (Why is no real title available?)
• scientific article; zbMATH DE number 2239833 (Why is no real title available?)
• An example of using \(\Delta_{1}\) terms in Boolean valued analysis
• Iterated Cohen extensions and Souslin's problem

Cited in

(7)

• Boolean-valued second-order logic
• Function representation of the Boolean-valued universe
• Function representation of the Boolean-valued universe
• The Boolean-valued model of the axiom system of GB
• Boolean-valued universe as an algebraic system. I: Basic principles
• An arithmetical view to first-order logic
• Boolean-valued universe as an algebraic system. II: Intensional hierarchies

This page was built for publication: On the structure of the Boolean-valued universe

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4970044)