{"id":"arxiv/2602.09283","url":"https://arxiv.org/abs/2602.09283","tags":["math.LO","math.CT"],"score":0,"title":"Condensed Sets and the Solovay Model","domain":"math.LO","source":"arxiv","authors":["Nathaniel Bannister","Dianthe Basak"],"reviews":0,"subject":"math.LO","summary":"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 prove Clausen--Scholze's resolution of the Whitehead problem for discrete condensed abelian groups. We also exhibit an analogous internal $Ext$ computation between locally compact abelian groups in the Solovay model.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-09","reactions":{}}