Atomic and elementary diagrams, upper Lowenheim-Skolem, the logic topology and types, quantifier elimination
Speaker:
Bradd Hart, McMaster University
Date and Time:
Wednesday, January 27, 2021 - 11:00am to 12:30pm
Location:
Online
Abstract:
Recommended text: Model theory: an introduction, by David Marker (Chapters 2, 3 & 4)
