Refinements of Vaught's normal from theorem (Q3875914)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Refinements of Vaught's normal from theorem |
scientific article |
Statements
Refinements of Vaught's normal from theorem (English)
0 references
1979
0 references
Vaught's normal form theorem
0 references
Barwise compactness theorem
0 references
interpolation theorems
0 references
Hintikka set
0 references
