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