An Ehrenfeucht-Fraïssé class game

DOI10.1002/MALQ.200310088zbMath1040.03030OpenAlexW2029963537MaRDI QIDQ4459599

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 quantifierEhrenfeucht-Fraïssé gameAjtai-Fagin gamefunction quantifierLogical inexpressibility

Mathematics Subject Classification ID

Logic in computer science (03B70) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Second- and higher-order model theory (03C85) Properties of classes of models (03C52) Descriptive complexity and finite models (68Q19)

This page was built for publication: An Ehrenfeucht-Fraïssé class game