The Hanf number for infinitary logic
by Yiannis Souldatos
Abstract: In this talk we will answer the question what the Hanf number is for Infinitary Logic. We will briefly explain the basic definitions what
Infinitary Logic is, what the Hanf number is, what the beth cardinals are, what are the characterizable cardinals and we will prove that a sentence with a model of power beth omega 1 has models in all infinite powers. Theorems like Erdos-Rado will be used without a proof. Some elementary first-order logic and set theory would be helpful for those wishing to attend.
For More Information: Greg Hjorth G.Hjorth@ms.unimelb.edu.au