Matthew Harrison-Trainor : An Introduction to Infinitary Logic and Scott Analysis

Posted by Matthew Harrison-Trainor , part of the Logic Seminar.

At

Feb. 18, 2025, 3:30 p.m.

In

636 SEO

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.