Home › Events › Logic Seminar: Matthew Harrison-Trainor - University of Waterloo Logic Seminar: Matthew Harrison-Trainor - University of Waterloo Time: Thu Nov 16, 2017, 2:00 pm - 3:00 pm Location: 125 Hayes-Healy Hall Title: When is a property expressed in infinitary logic also pseudo-elementary Abstract