Logic Seminar
Matthew Harrison-Trainor
UIC
An Introduction to Infinitary Logic and Scott Analysis
Abstract: This talk will be an introductory talk aimed at graduate students. I will introduce infinitary logic, the Scott analysis and Scott sentences, and Montalban's robust Scott rank. We will give some proofs and proof sketches.
Tuesday February 18, 2025 at 3:30 PM in 636 SEO