Decidability of Definability (Q5407040)
From MaRDI portal
scientific article; zbMATH DE number 6279891
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability of Definability |
scientific article; zbMATH DE number 6279891 |
Statements
Decidability of Definability (English)
0 references
4 April 2014
0 references
decidability
0 references
definability
0 references
primitive positive formulas
0 references
Ramsey structure
0 references
finitely bounded structure
0 references
