Model theoretic forcing and the Henkin construction; omitting types
Speaker:
Bradd Hart, McMaster University
Date and Time:
Wednesday, February 10, 2021 - 11:00am to 12:30pm
Location:
Online
Abstract:
Recommended text: Model theory: an introduction, by David Marker (Chapter 2)
