Shrinking games and local formulas

DOI10.1016/j.apal.2004.01.004zbMath1055.03022OpenAlexW2140014237MaRDI QIDQ1877096

Wafik Boulos Lotfallah, H. Jerome Keisler

Publication date: 16 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2004.01.004

zbMATH Keywords

finite model theoryEhrenfeucht-Fraïssé gamesquantifier ranklocal formulas

Mathematics Subject Classification ID

Model theory of finite structures (03C13)

Related Items (4)

Game-based notions of locality over finite models ⋮ A local normal form theorem for infinitary logic with unary quantifiers ⋮ Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces ⋮ Games on Strings with a Limited Order Relation

Cites Work

• Unnamed Item
• Unnamed Item
• On winning Ehrenfeucht games and monadic NP
• An application of games to the completeness problem for formalized theories
• Logics with counting and local properties

This page was built for publication: Shrinking games and local formulas