Pages that link to "Item:Q3006117"
From MaRDI portal
The following pages link to Rank Hierarchies for Generalized Quantifiers (Q3006117):
Displaying 11 items.
- A representation theorem for languages with generalized quantifiers through back-and-forth methods (Q752702) (← links)
- Quantifier rank for parity of embedded finite models. (Q1401237) (← links)
- On second-order generalized quantifiers and finite structures (Q1612478) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- The expressive power of finitely many generalized quantifiers (Q1908344) (← links)
- A double arity hierarchy theorem for transitive closure logic (Q1913297) (← links)
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures (Q2856634) (← links)
- On the strictness of the quantifier structure hierarchy in first-order logic (Q2930128) (← links)
- ON THE EXPRESSIVE POWER OF THE LOGICS <i>L</i>(Q<sub>α</sub><sup><i>n1</i></sup>,…,<sup><i>n</i></sup><sub><i>m</i></sub>) (Q3328527) (← links)
- (Q4202955) (← links)
- Combinatorics and quantifiers (Q4374667) (← links)