An Ehrenfeucht-Fraïssé class game

DOI10.1002/MALQ.200310088zbMATH Open1040.03030OpenAlexW2029963537MaRDI QIDQ4459599FDOQ4459599

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

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

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)

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)