Recent and upcoming talks by Ioannis Souldatos

Ioannis Souldatos: L_{omega_1,omega}-sentences with maximal models in two cardinalities, part II

Thursday, February 16, 2017, from 4 to 5:30pm East Hall, room 2866 Speaker: Ioannis Souldatos (University of Detroit Mercy) Title: L_{omega_1,omega}-sentences with maximal models in two cardinalities, part II Abstract: This will be part II of the talk on complete L_{omega_1,omega}-sentences with maximal models in (at least) two cardinalities. continue reading…

Ioannis Souldatos: L_{omega_1,omega}-sentences with maximal models in two cardinalities

Thursday, February 9, 2017, from 4 to 5:30pm East Hall, room 2866 Speaker: Ioannis Souldatos (University of Detroit Mercy) Title: L_{omega_1,omega}-sentences with maximal models in two cardinalities Abstract: In this talk, we will present some examples on complete L_{omega_1,omega}-sentences with maximal models in (at least) two cardinalities. continue reading…

Ioannis Souldatos: A survey on the effect of set-theory on models of L_{omega_1,omega}-sentences

Thursday, November 17, 2016, from 4 to 5:30pm East Hall, room 3096 Speaker: Ioannis Souldatos (University of Detroit Mercy) Title: A survey on the effect of set-theory on models of L_{omega_1,omega}-sentences Abstract: The model-existence spectrum of an L_{omega_1,omega}-sentence phi is the set of all cardinals on which phi has a model. continue reading…

Ioannis Souldatos: The Hanf number for Scott sentences of computable structures.

Thursday, April 21, 2016, 4:00–5:30 PM, 3088 East Hall. We will prove the following two theorems: Theorem 1: Let A be a computable structure for a computable vocabulary \tau, and let \sigma be a Scott sentence for A. continue reading…

Large Cardinals and Strong Logics: September 5 through December 16

Dear colleague, We would like to inform you about the forthcoming CRM Intensive Research Program on Large Cardinals and Strong Logics, to be held from September 5 to December 16, 2016. continue reading…

Ioannis Souldatos: Absolute Indescernibles and Vaught’s Conjecture

Thursday, November 12, 16:00-17:30, East Hall 3096 Around 2005, Greg Hjorth proved that if there exists a counterexample to Vaught’s Conjecture, then there exists one with no model in “aleph_2”. The proof uses Descriptive Set Theory. continue reading…