The talk will be an overview of the recent joint project with Nathaniel Bannister (Carnegie-Mellon University) connecting the Condensed Sets of Clausen-Scholze with the Solovay model \(V(R)\) (obtained by collapsing an inaccessible) via a geometric morphism of topoi. The goal will be to make precise what this morphism is, and to talk about a new choice principle for the Solovay model that was discovered by accident in the course of this research.
