Merging $\lim^1 \mathbf{A} \ne 0$ with other nonvanishing constructions
We develop methods for forcing $\lim^1 \mathbf{A} \ne 0$, where $\mathbf{A}$ is a particular inverse system of abelian groups introduced by Mardešić and Prasolov in their computation of certain strong homology groups. These methods allow us to extend previous nonvanishing results of Casarosa and Lambie-Hanson for $\lim^k \mathbf{A}$ for $k \geq 2$. Specifically we show that, for a given $n$, it is relatively consistent with ZFC that $\mathfrak{b} = \mathfrak{d} = ω_n$ and $\lim^k \mathbf{A} \ne 0$ whenever $1 \leq k \leq n$ (previously established with $2 \leq k \leq n$). We also show it is…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.03995
curl -X POST /api/v1/records/arxiv/2607.03995/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.03995/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'