Yuan Yuan Zheng: The Ehrenfeucht Game

Place: Fields Institute (Room 210)

Date: April 7, 2017 (13:30-14:15)

Speaker: Yuan Yuan Zheng, University of Toronto

Title: The Ehrenfeucht Game

Abstract: The Ehrenfeucht Game is interesting in its own right as a game.
It was originally a method given by Roland Fraïssé to verify elementarily
equivalence. It was reformulated as a game by Andrzej Ehrenfeucht. We will
define the game, see how it plays a role in deciding whether a property is
first order expressible, and give a vague idea of how it relates to the
Zero-One Law.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.