The following pages link to Games in finite model theory (Q2721286):
Displaying 15 items.
- Games and elementary equivalence of \(\mathrm{II}_1\)-factors (Q499895) (← links)
- A relation-algebraic approach to simple games (Q631101) (← links)
- Ehrenfeucht-Fraïssé games in finite set theory (Q963464) (← links)
- Finite games for a predicate logic without contractions (Q1314388) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- On elementary equivalence for fragments of language \(L_{\omega_ 1,\omega}\) (Q1901896) (← links)
- Small model property reflects in games and automata (Q2151424) (← links)
- Ehrenfeucht-Fraïssé games on ordinals (Q2636521) (← links)
- Definable sets of real numbers, infinite games and core model theory (Q2784781) (← links)
- (Q3078324) (← links)
- (Q4362728) (← links)
- (Q4417852) (← links)
- (Q4472465) (← links)
- On the Ehrenfeucht-Fraïssé game in theoretical computer science (Q5044763) (← links)
- Finite high-order games and an inductive approach towards Gowers's dichotomy (Q5942883) (← links)
