Definability hierarchies of generalized quantifiers

DOI10.1016/0168-0072(89)90070-5zbMath0683.03020OpenAlexW2076662767MaRDI QIDQ1824614

Lauri Hella

Publication date: 1989

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(89)90070-5

zbMATH Keywords

interpolationgeneralized quantifierdefinabilityabstract logicLindström quantifierback-and-forthcardinality logicsirreducible quantifiers

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Related Items

On second-order generalized quantifiers and finite structures ⋮ Finite Variable Logics in Descriptive Complexity Theory ⋮ Arity and alternation: a proper hierarchy in higher order logics ⋮ Directions in generalized quantifier theory ⋮ A double arity hierarchy theorem for transitive closure logic ⋮ Henkin and function quantifiers ⋮ Capturing complexity classes with Lindström quantifiers ⋮ The Beth-closure of ℒ(Q_α) is not finitely generated ⋮ Automata Presenting Structures: A Survey of the Finite String Case ⋮ On vectorizations of unary generalized quantifiers ⋮ The hierarchy theorem for generalized quantifiers ⋮ Relativized logspace and generalized quantifiers over finite ordered structures ⋮ Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs ⋮ Fixed-Point Definability and Polynomial Time ⋮ An overview of fuzzy quantifiers. I. Interpretations ⋮ Counting modulo quantifiers on finite structures ⋮ Definability properties and the congruence closure ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Vector spaces and binary quantifiers
• Henkin and function quantifiers
• Relative strength of Malitz quantifiers
• An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications
• On the expressibility hierarchy of Magidor-Malitz quantifiers
• ON THE EXPRESSIVE POWER OF THE LOGICS L(Q_αⁿ¹,…,ⁿ_m)
• On orderings of the family of all logics
• Axioms for abstract model theory
• δ-Logics and generalized quantifiers
• Compact extensions of L(Q) (part 1a)
• Generalized Ehrenfeucht games
• Stationary logic
• On Extensions of Elementary Logic
• Logic with the quantifier “there exist uncountably many”
• Finite partially-ordered quantification