activity
20242026
collaborators

6 papers

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 computa…

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 propert…

math.LO2025

All you need is

Nathaniel Bannister

We show that the vanishing of higher derived limits of the system implies the additivity of strong homology on the class of locally compact metric spaces of weight…

math.LO2025

Nonvanishing Higher Derived Limits without

Nathaniel Bannister

We prove a common refinement of theorems of Bergfalk and of Casarosa and Lambie-Hanson, showing that under certain hypotheses, the higher derived limits of a certain inverse system…

math.LO2025

Additivity of derived limits in the Cohen model

Nathaniel Bannister

We show that, in the model constructed by adding sufficiently many Cohen reals, derived limits are additive on a large class of systems. This generalizes the work of Jeffrey Bergfa…

math.LO2024

Locales as spaces in outer models

Nathaniel Bannister

Let M be a transitive model of set theory and X be a space in the sense of M. Is there a reasonable way to interpret X as a space in V? A general theory due to Zapletal provides a…