Alan Pasos Trejo

(Department of Mathematics, University of Manitoba)

Basic Concepts Of Infinitary Logic / Subtitle: Compactness Theorem Fails

Date Thursday, January 31, 2019

In this seminar we will introduce the notion of an Infinitary Language, and look at one particular example where the Compactness Theorem fails.