School Seminars and Colloquia

The Hanf number for infinitary logic

School Seminar

by Yiannis Souldatos


Institution: University of California, Los Angeles
Date: Wed 7th March 2007
Time: 4:30 PM
Location: Room 107 Richard Berry Building

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