1 citations · 1 across the 8 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.LO2026
Merging with other nonvanishing constructions
Nathaniel Bannister, Justin Tatch Moore
We develop methods for forcing , where is a particular inverse system of abelian groups introduced by Mardešić and Prasolov in their computati…
math.LO2026
Condensed Sets and the Solovay Model
Nathaniel Bannister, Dianthe Basak
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 properti…