The following pages link to (Q3884080):
Displaying 10 items.
- The structure of the models of decidable monadic theories of graphs (Q810005) (← links)
- Trees, grids, and MSO decidability: from graphs to matroids (Q820150) (← links)
- The expressive power of Malitz quantifiers for linear orderings (Q1105586) (← links)
- First-order logic and its infinitary quantifier extensions over countable words (Q2140479) (← links)
- A game-theoretic equivalence to the Hahn-Banach theorem (Q2640469) (← links)
- Expressing cardinality quantifiers in monadic second-order logic over chains (Q3011122) (← links)
- Some model theory of modules. III. On infiniteness of sets definable in modules (Q3037399) (← links)
- Undecidable Theories in Stationary Logic (Q3661542) (← links)
- Stationary Logic and Ordinals (Q3929721) (← links)
- The Härtig quantifier: a survey (Q3984397) (← links)
