Boolean-valued universe as an algebraic system. I: Basic principles (Q2282614)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boolean-valued universe as an algebraic system. I: Basic principles |
scientific article |
Statements
Boolean-valued universe as an algebraic system. I: Basic principles (English)
0 references
8 January 2020
0 references
The author elaborates the technique of ascending and descending abstract structures between Boolean valued models of set theory. Special emphasis is laid on interpreting infinite collections of statements and dealing with Boolean valued classes, Boolean valued algebraic systems, functors of Boolean valued analysis, etc.
0 references
Boolean-valued algebraic system
0 references
Boolean-valued analysis
0 references
