Pages that link to "Item:Q964457"
From MaRDI portal
The following pages link to Definability of second order generalized quantifiers (Q964457):
Displaying 15 items.
- Dependence logic with a majority quantifier (Q302214) (← links)
- Extensions of MSO and the monadic counting hierarchy (Q617710) (← links)
- Vector spaces and binary quantifiers (Q795826) (← links)
- Definability properties and the congruence closure (Q810007) (← links)
- A remark on collective quantification (Q1006495) (← links)
- Definability of polyadic lifts of generalized quantifiers (Q1361405) (← links)
- On second-order generalized quantifiers and finite structures (Q1612478) (← links)
- A characterization of definability of second-order generalized quantifiers with applications to non-definability (Q2453584) (← links)
- Second Order Definability Via enumerations (Q3982254) (← links)
- (Q5020523) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION (Q5241230) (← links)
- The hierarchy theorem for second order generalized quantifiers (Q5477629) (← links)
- A dichotomy in classifying quantifiers for finite models (Q5486252) (← links)
- The hierarchy theorem for generalized quantifiers (Q5687317) (← links)