The expressive power of Malitz quantifiers for linear orderings (Q1105586)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The expressive power of Malitz quantifiers for linear orderings |
scientific article; zbMATH DE number 4059376
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The expressive power of Malitz quantifiers for linear orderings |
scientific article; zbMATH DE number 4059376 |
Statements
The expressive power of Malitz quantifiers for linear orderings (English)
0 references
1987
0 references
The author proves that in the theory of all linear orderings, Malitz quantifiers are expressible in terms of the corresponding binary Malitz quantifiers. Moreover, for the theory of all well-orderings, Malitz quantifiers are expressible in terms of (unary) cardinality quantifiers - under certain rather general hypotheses. Decidability results are proved for several theories of linear orderings with Malitz quantifiers, thus generalizing the corresponding results for cardinality quantifiers.
0 references
quantifier elimination
0 references
decision problem
0 references
generalized quantifier
0 references
Malitz quantifiers
0 references
well-orderings
0 references
cardinality quantifiers
0 references
theories of linear orderings
0 references
0 references
