The expressive power of Malitz quantifiers for linear orderings

DOI10.1016/0168-0072(87)90012-1zbMath0649.03027OpenAlexW2007887035MaRDI QIDQ1105586

Hans-Peter Tuschik

Publication date: 1987

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(87)90012-1

zbMATH Keywords

quantifier eliminationgeneralized quantifierdecision problemwell-orderingscardinality quantifiersMalitz quantifierstheories of linear orderings

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Total orders (06A05) Properties of classes of models (03C52) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The monadic theory of order
• A generalization of Ehrenfeucht's game and some applications
• An application of games to the completeness problem for formalized theories
• The monadic theory of ω₂
• Undecidable Theories in Stationary Logic
• Monadic theory of order and topology in ZFC
• Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor
• Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren
• Compact extensions of L(Q) (part 1a)
• On the decidability of the theory of linear orderings with generalized quantifiers
• On the elementary theory of linear order
• Generalized quantifiers and well orderings

This page was built for publication: The expressive power of Malitz quantifiers for linear orderings