Pages that link to "Item:Q1824614"
From MaRDI portal
The following pages link to Definability hierarchies of generalized quantifiers (Q1824614):
Displayed 13 items.
- 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)
- 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)
- The hierarchy theorem for generalized quantifiers (Q5687317) (← links)