Boolean-valued universe as an algebraic system. I: Basic principles (Q2282614): Difference between revisions
From MaRDI portal
Set profile property. |
Created claim: Wikidata QID (P12): Q127171510, #quickstatements; #temporary_batch_1723924200075 |
||
| (One intermediate revision by one other user not shown) | |||
| Property / cites work | |||
| Property / cites work: On the structure of the boolean-valued universe / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3455124 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5715173 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Iterated Cohen extensions and Souslin's problem / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Function representation of the Boolean-valued universe / rank | |||
Normal rank | |||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q127171510 / rank | |||
Normal rank | |||
Latest revision as of 21:07, 17 August 2024
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
