The Lattice of Definability. Origins, Recent Developments, and Further Directions (Q4981145)
From MaRDI portal
scientific article; zbMATH DE number 6307636
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Lattice of Definability. Origins, Recent Developments, and Further Directions |
scientific article; zbMATH DE number 6307636 |
Statements
The Lattice of Definability. Origins, Recent Developments, and Further Directions (English)
0 references
24 June 2014
0 references
definability
0 references
definability space
0 references
reducts
0 references
Svenonius theorem
0 references
quantifier elimination
0 references
decidability
0 references
automorphisms
0 references
