An Ehrenfeucht-Fraïssé class game

DOI10.1002/MALQ.200310088MaRDI QIDQ4459599zbMATH OpenOpenAlexFDO

Authors Wafik Boulos Lotfallah

Publication date 29 March 2004

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200310088

zbMATH Keywords

Henkin quantifierAjtai-Fagin gamefunction quantifierEhrenfeucht-Fraïssé gameLogical inexpressibility

Mathematics Subject Classification ID

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)

• An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers
• An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\)
• The Borell-Ehrhard game

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)