Model Existence Game and \Sigma^1_1
by Raj Dahya
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.
For More Information: please contact Greg Hjorth email email@example.com