On the structure of the Boolean-valued universe
From MaRDI portal
Publication:4970044
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
Other aspects of forcing and Boolean-valued models (03E40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Cites Work
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)