Pages that link to "Item:Q3142086"
From MaRDI portal
The following pages link to The Ehrenfeucht-Fraisse-Game of Length ω 1 (Q3142086):
Displaying 6 items.
- More on the pressing down game (Q535164) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Game-theoretic inductive definability (Q1314543) (← links)
- Almost free groups and long Ehrenfeucht-Fraïssé games (Q1408855) (← links)
- Weak Ehrenfeucht-Fraïssé games (Q3004374) (← links)
- Filtration games and potentially projective modules (Q6044553) (← links)