Pages that link to "Item:Q3322084"
From MaRDI portal
The following pages link to On the expressibility hierarchy of Magidor-Malitz quantifiers (Q3322084):
Displaying 9 items.
- Magidor-Malitz reflection (Q527330) (← links)
- The nonaxiomatizability of \(L(Q^ 2_{\aleph_ 1})\) by finitely many schemata (Q918971) (← links)
- The expressive power of Malitz quantifiers for linear orderings (Q1105586) (← links)
- Combinatorial problems on trees: partitions, \(\Delta\)-systems and large free subtrees (Q1108269) (← links)
- EM constructions for a class of generalized quantifiers (Q1204118) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- Downward transfer of satisfiability for sentences of <i>L</i><sup>1,1</sup> (Q3322083) (← 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)
- (Q4725304) (← links)