Pages that link to "Item:Q1824614"

The following pages link to Definability hierarchies of generalized quantifiers (Q1824614):

Displaying 32 items.

• Generalized lower and upper approximations in quantales (Q411063) (← links)
• On vectorizations of unary generalized quantifiers (Q412063) (← links)
• Vector spaces and binary quantifiers (Q795826) (← links)
• Definability properties and the congruence closure (Q810007) (← links)
• Henkin and function quantifiers (Q1121872) (← links)
• An overview of fuzzy quantifiers. I. Interpretations (Q1292062) (← links)
• On second-order generalized quantifiers and finite structures (Q1612478) (← links)
• Counting modulo quantifiers on finite structures (Q1854352) (← links)
• Directions in generalized quantifier theory (Q1908858) (← links)
• A double arity hierarchy theorem for transitive closure logic (Q1913297) (← links)
• Arity and alternation: a proper hierarchy in higher order logics (Q2385450) (← links)
• A characterization of definability of second-order generalized quantifiers with applications to non-definability (Q2453584) (← links)
• Rank Hierarchies for Generalized Quantifiers (Q3006117) (← links)
• Finite Quantification in Hierarchic Theorem Proving (Q3192187) (← links)
• On the expressibility hierarchy of Magidor-Malitz quantifiers (Q3322084) (← links)
• Automata Presenting Structures: A Survey of the Finite String Case (Q3503740) (← links)
• Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs (Q3586010) (← links)
• Fixed-Point Definability and Polynomial Time (Q3644737) (← links)
• (Q3778732) (← links)
• (Q3837740) (← links)
• The Härtig quantifier: a survey (Q3984397) (← links)
• The Beth-closure of <i>ℒ</i>(<i>Q_α</i>) is not finitely generated (Q4032628) (← links)
• Finite Variable Logics in Descriptive Complexity Theory (Q4254565) (← links)
• Generic expansions of ω-categorical structures and semantics of generalized quantifiers (Q4262584) (← links)
• Relativized logspace and generalized quantifiers over finite ordered structures (Q4358054) (← links)
• Capturing complexity classes with Lindström quantifiers (Q5096870) (← links)
• Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. (Q5111186) (← links)
• The hierarchy theorem for second order generalized quantifiers (Q5477629) (← links)
• The hierarchy theorem for generalized quantifiers (Q5687317) (← links)
• Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
• Count-free Weisfeiler-Leman and group isomorphism (Q6545240) (← links)
• Game comonads \& generalised quantifiers (Q6597958) (← links)