Pages that link to "Item:Q3328527"
From MaRDI portal
The following pages link to 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):
Displaying 8 items.
- The nonaxiomatizability of \(L(Q^ 2_{\aleph_ 1})\) by finitely many schemata (Q918971) (← links)
- Elementary equivalence of partition lattices (Q920980) (← links)
- The expressive power of Malitz quantifiers for linear orderings (Q1105586) (← links)
- Henkin and function quantifiers (Q1121872) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- Generalized Archimedean fields and logics with Malitz quantifiers (Q3315497) (← links)
- ω-Trees in stationary logic (Q3691646) (← links)
- Morley numbers for generalized languages (Q4132489) (← links)