Harvard Logic Colloquium

Content tagged with Harvard Logic Colloquium

Not finding what you're looking for? Try using Advanced Search.
Not finding what you're looking for? Try using Advanced Search.

Harvard Logic Colloquium: Joel Hamkins

Event
Joel Hamkins (City University of New York): Recent Advances in Set-theoretic Geology Set-theoretic geology is the study of the set-theoretic universe V in the context of all its ground models and those of its forcing extensions. For example, a bedrock of...

Harvard Logic Seminar

Event
Will Boney (University of Illinois at Chicago) "Tameness in Abstract Elementary Classes" Tameness is a locality property of Galois types in AECs. Since its isolation by Grossberg and VanDieren 10 years ago, it has been used to prove new results (upward...

Harvard Logic Colloquium

Event
Maryanthe Malliaris (University of Chicago) "Comparing the complexity of unstable theories" In 1967 Keisler posed the problem of Keisler’s order, a suggested program for comparing the complexity of classes of mathematical structures using an asymptotic...

Harvard Logic Colloquium

Event
Joan Bagaria (Universitat de Barcelona) "Reflection phenomena in the set-theoretic universe" The phenomenon of reflection occurs at different layers of the set-theoretic universe V, and strengthened forms of reflection associated to each layer give rise...

Harvard Logic Seminar

Event
Gil Sagi (Ludwig-Maximilians-Universität München) "What is a Fixed Term?" In standard model-theoretic semantics, logical terms are said to be fixed in the system while nonlogical terms remain variable. Much effort has been devoted to characterizing...