Can I read Ehrenfeucht-Fraïssé Games Overview on EtoBox?

Ehrenfeucht-Fraïssé Games Overview by Fernando Ramos is a document available to read on EtoBox.

What is Ehrenfeucht-Fraïssé Games Overview about?

This document provides an introduction to Ehrenfeucht-Fraïssé games and their applications. It discusses how EF-games can be used to capture m-equivalence between structures and how winning strategies in the games correspond to formulas in first-order logic. The document also outlines how EF-games can be used to show certain properties are not definable in first-order logic and how differentiating formulas can be converted into games.

Author

Fernando Ramos

Language

EN