# Model Existence Game and \Sigma^1_1

#### by Raj Dahya

Institution: The University of Melbourne
Date: Thu 7th May 2009
Time: 4:15 PM
Location: Room 107, Richard Berry Bld, The University of Melbourne

Abstract: Goedel and Henkin showed how to construct models from a theory T given its consistency.
I will show an alternative way, where a model can be construct dependent on a winning condition in a game MEG. The game distances us from any notion of syntactic consistency. And so, if I get time, I will extend MEG to \Sigma^1_1, thus presenting a criterion for consistency, without having to refer to proof or logical consequence.