Logic Seminar

Condensed Sets and the Solovay Model

Nathaniel Bannister, PhD Student, Department of Mathematics, Carnegie Mellon University,

We exhibit a geometric morphism from the Grothendieck topos representing the Solovay model to the κ-pyknotic sets of Barwick--Haine and Clausen--Scholze. We then use the properties of this morphism and automatic continuity in the Solovay model to outline a proof of Clausen--Scholze's resolution of the Whitehead problem for discrete condensed abelian groups. Based on joint work with Dianthe Basak.

Event Sponsors:

Mathematics - More events from this Sponsor

For more information, please contact Alekos Kechris by phone at 6263954368 or by email at [email protected].

Add this event to your calendar.