Pages that link to "Item:Q1824614"
From MaRDI portal
The following pages link to Definability hierarchies of generalized quantifiers (Q1824614):
Displaying 18 items.
- On vectorizations of unary generalized quantifiers (Q412063) (← 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)
- 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)
- The Beth-closure of <i>ℒ</i>(<i>Q<sub>α</sub></i>) is not finitely generated (Q4032628) (← links)
- Finite Variable Logics in Descriptive Complexity Theory (Q4254565) (← links)
- Relativized logspace and generalized quantifiers over finite ordered structures (Q4358054) (← links)
- Capturing complexity classes with Lindström quantifiers (Q5096870) (← links)
- The hierarchy theorem for generalized quantifiers (Q5687317) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
