Upcoming Events

Logic Colloquium

October 16, 2026, 4:10 PM

Evans 1015

Siiri Kivimaki
University of California, Berkeley

Universality Problems

A universal object of a class is a member of that class into which every other member embeds. When the class consists of uncountable structures of a fixed cardinality, the existence of such an object is likely to be independent of ZFC. For first-order definable classes, the generalized continuum hypothesis (GCH) implies the existence of a universal object. On the other hand, there are interesting classes in which GCH but also Forcing Axioms imply that no universal object exists. In this talk we discuss a way to force the existence of a universal object in such classes.

Logic Colloquium

October 30, 2026, 4:10 PM

Evans 1015

Stephen Mackereth
University of Notre Dame

TBA

Logic Colloquium

November 13, 2026, 4:10 PM

Evans 1015

Alex Kruckman
Wesleyan University

TBA

Logic Colloquium

December 04, 2026, 4:10 PM

Evans 1015

Artem Chernikov
University of Maryland

TBA