On the decidability of the theory of linear orderings with generalized quantifiers (Q4135491)
From MaRDI portal
scientific article; zbMATH DE number 3563059
Language | Label | Description | Also known as |
---|---|---|---|
English | On the decidability of the theory of linear orderings with generalized quantifiers |
scientific article; zbMATH DE number 3563059 |
Statements
On the decidability of the theory of linear orderings with generalized quantifiers (English)
0 references
1980
0 references
theory of linear orderings
0 references
generalized quantifiers
0 references