An Ehrenfeucht-Fraïssé class game
From MaRDI portal
Publication:4459599
Henkin quantifierAjtai-Fagin gamefunction quantifierEhrenfeucht-Fraïssé gameLogical inexpressibility
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Logic in computer science (03B70) Descriptive complexity and finite models (68Q19) Properties of classes of models (03C52) Second- and higher-order model theory (03C85)
Recommendations
- The Borell-Ehrhard game
- A class of Wythoff-like games
- A class of simple games
- Ehrenfeucht-Fraïssé games without identity
- scientific article; zbMATH DE number 7676353
- The Zeckendorf Game
- Weak Ehrenfeucht-Fraïssé games
- On winning strategies in Ehrenfeucht-Fraïssé games
- Games on classes of spaces
- Ehrenfeucht-Fraïssé games on ordinals
Cited in
(3)
This page was built for publication: An Ehrenfeucht-Fraïssé class game
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4459599)