On the structure of the Boolean-valued universe

DOI10.23671/VNC.2018.2.14718zbMATH Open1445.03057MaRDI QIDQ4970044FDOQ4970044

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

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

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)

Cites Work

• Iterated Cohen extensions and Souslin's problem
• Title not available (Why is that?)
• An example of using \(\Delta_{1}\) terms in Boolean valued analysis
• Title not available (Why is that?)

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)