We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Nonvanishing derived limits without scales

Abstract: The derived functors $\lim^n$ of the inverse limit are widely studied for their topological applications, among which are some repercussions on the additivity of strong homology. Set theory has proven useful in dealing with these functors, for instance in the case of the inverse system $\mathbf{A}$ of abelian groups indexed by ${}^\omega \omega$. So far, consistency results for nonvanishing derived limits of $\mathbf{A}$ have always assumed the existence of a scale (i.e. a linear cofinal subset of $({}^\omega \omega, \leq^\ast )$, or equivalently that $\mathfrak{b} = \mathfrak{d} $). Here we do away with that assumption and prove that nonvanishing derived limits, and hence the non-additivity of strong homology, are consistent with any value of $\aleph_1 \leq \mathfrak{b} \leq \mathfrak{d} < \aleph_\omega$, thus giving a partial answer to a question of Bannister.
Subjects: Logic (math.LO)
MSC classes: 03E35, 03E17, 03E75, 18E10, 55Nxx
Cite as: arXiv:2404.08983 [math.LO]
  (or arXiv:2404.08983v1 [math.LO] for this version)

Submission history

From: Matteo Casarosa [view email]
[v1] Sat, 13 Apr 2024 12:12:28 GMT (24kb)

Link back to: arXiv, form interface, contact.