Logic Archives for Academic Year 2021


Organizational Meeting

When: Tue, August 31, 2021 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Organizational Meeting () -


A gentle introduction to continuous logic

When: Tue, September 7, 2021 - 3:30pm
Where: Kirwan Hall 1311
Speaker: James Hanson (University of Maryland) -
Abstract: I will give an overview of the basics of continuous first-order logic, emphasizing similarities and differences with discrete first-order logic. I will then discuss some current research directions.

Definable sets in continuous logic

When: Tue, September 14, 2021 - 3:30pm
Where: Kirwan Hall 1311
Speaker: James Hanson (University of Maryland) -
Abstract: I will introduce the concept of definable sets in continuous logic, presenting visual examples of their sometimes strange behavior. I will then develop a tameness condition under which they are more manageable. This will lead into some open questions.

Products of Classes of Structures

When: Tue, September 21, 2021 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Vincent Guingona (Towson University) - https://tigerweb.towson.edu/vguingona/
Abstract: We examine three products on classes of structures, the semi-direct product, the direct product, and the free superposition. We investigate what properties of classes of structures, such as indivisibility and age indivisibility, are preserved under each product. This work is joint with Miriam Parnes and Lynn Scow.

Countable Model Theory

When: Tue, September 28, 2021 - 3:30pm
Where: Kirwan Hall 1311
Speaker: Douglas Ulrich () -
Abstract: We give a brief survey of the field of countable model theory, and then sketch some projects joint with Chris Laskowski.