Upcoming Events

Logic Colloquium

May 02, 2025, 4:10 PM

60 Evans Hall

Omer Ben-Neria
UCLA

On the strength of ultrafilters on ordinals above choiceless large cardinals

Kunen famously showed that the Axiom of Choice (AC) places fundamental limitations on the large cardinal hierarchy, proving that ZFC is incompatible with the existence of an elementary embedding from V to itself (a property defining Reinhardt cardinals). However, even without the axiom of choice, recent developments have uncovered a rich structural theory for sets and cardinals above choiceless large cardinals. Goldberg established the existence of a proper class of regular cardinals and showed that each cardinal in a tail segment of this class carries a sigma-complete uniform ultrafilter. This naturally leads to questions concerning the strength of ultrafilters on ordinals in this choiceless setting. Within ZFC, the strength of a sigma-complete ultrafilter is closely tied to combinational characteristics linking it with large cardinal properties, such as measurability, strong compactness, and supercompactness. In this talk, I will present several results that limit the possible strength of ultrafilters on ordinals above choiceless large cardinals. Furthermore, I will discuss applications of these findings to the theory of Prikry forcings and their iteration in this context, and in particular, outline new constructions of classical consistency results in choiceless set theory, including a “Gitik model” in which all uncountable cardinals are singular. This is joint work with William Adkisson.

Logic Colloquium

May 09, 2025, 4:10 PM

60 Evans Hall

Johan van Benthem
Stanford University, University of Amsterdam and Tinsghua University