Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems (Q6150671)
From MaRDI portal
scientific article; zbMATH DE number 7802222
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems |
scientific article; zbMATH DE number 7802222 |
Statements
Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems (English)
0 references
9 February 2024
0 references
Boolean-valued models
0 references
non-classical model theory
0 references
Löwenheim-Skolem theorems
0 references
0 references
