SATURATED MODELS FOR THE WORKING MODEL THEORIST (Q6170502)
From MaRDI portal
scientific article; zbMATH DE number 7725100
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SATURATED MODELS FOR THE WORKING MODEL THEORIST |
scientific article; zbMATH DE number 7725100 |
Statements
SATURATED MODELS FOR THE WORKING MODEL THEORIST (English)
0 references
10 August 2023
0 references
saturated models
0 references
inner model
0 references
constructible universe
0 references
completeness
0 references
quantifier elimination
0 references
