{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T07:24:11Z","timestamp":1780471451167,"version":"3.54.1"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T00:00:00Z","timestamp":1762214400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T00:00:00Z","timestamp":1762214400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["101077154"],"award-info":[{"award-number":["101077154"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001824","name":"GA\u010cR","doi-asserted-by":"crossref","award":["23-04683S"],"award-info":[{"award-number":["23-04683S"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Alma Mater Studiorum - Universit\u00e0 di Bologna"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2026,2]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    The derived functors\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\lim ^n$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:msup>\n                            <mml:mo>lim<\/mml:mo>\n                            <mml:mi>n<\/mml:mi>\n                          <\/mml:msup>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\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\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\textbf{A}$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mi>A<\/mml:mi>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    of abelian groups indexed over\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$${}^\\omega \\omega $$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:mmultiscripts>\n                              <mml:mrow\/>\n                              <mml:mrow\/>\n                              <mml:mi>\u03c9<\/mml:mi>\n                            <\/mml:mmultiscripts>\n                            <mml:mi>\u03c9<\/mml:mi>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    . So far, consistency results for nonvanishing derived limits of\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\textbf{A}$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mi>A<\/mml:mi>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    have always assumed the existence of a scale (i.e. a linear cofinal subset of\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$({}^\\omega \\omega , \\le ^*)$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:mo>(<\/mml:mo>\n                            <mml:mmultiscripts>\n                              <mml:mrow\/>\n                              <mml:mrow\/>\n                              <mml:mi>\u03c9<\/mml:mi>\n                            <\/mml:mmultiscripts>\n                            <mml:mi>\u03c9<\/mml:mi>\n                            <mml:mo>,<\/mml:mo>\n                            <mml:msup>\n                              <mml:mo>\u2264<\/mml:mo>\n                              <mml:mo>\u2217<\/mml:mo>\n                            <\/mml:msup>\n                            <mml:mo>)<\/mml:mo>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    , or equivalently that\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\mathfrak {b} = \\mathfrak {d} $$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:mi>b<\/mml:mi>\n                            <mml:mo>=<\/mml:mo>\n                            <mml:mi>d<\/mml:mi>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    ). Here we eliminate that assumption and prove that nonvanishing derived limits, and hence the non-additivity of strong homology, are consistent with any value of\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\aleph _1 \\le \\mathfrak {b} \\le \\mathfrak {d} &lt; \\aleph _\\omega $$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:msub>\n                              <mml:mi>\u2135<\/mml:mi>\n                              <mml:mn>1<\/mml:mn>\n                            <\/mml:msub>\n                            <mml:mo>\u2264<\/mml:mo>\n                            <mml:mi>b<\/mml:mi>\n                            <mml:mo>\u2264<\/mml:mo>\n                            <mml:mi>d<\/mml:mi>\n                            <mml:mo>&lt;<\/mml:mo>\n                            <mml:msub>\n                              <mml:mi>\u2135<\/mml:mi>\n                              <mml:mi>\u03c9<\/mml:mi>\n                            <\/mml:msub>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    , thus giving a partial answer to a question of Bannister.\n                  <\/jats:p>","DOI":"10.1007\/s00153-025-00996-z","type":"journal-article","created":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T18:02:05Z","timestamp":1762279325000},"page":"177-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Nonvanishing derived limits without scales"],"prefix":"10.1007","volume":"65","author":[{"given":"Matteo","family":"Casarosa","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,11,4]]},"reference":[{"key":"996_CR1","unstructured":"Bannister, N.: Additivity of derived limits in the cohen model, arXiv preprint arXiv:2302.07222 (2023)"},{"issue":"1","key":"996_CR2","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s11856-022-2452-x","volume":"255","author":"N Bannister","year":"2023","unstructured":"Bannister, N., Bergfalk, J., Moore, J.T.: On the additivity of strong homology for locally compact separable metric spaces. Israel J. Math. 255(1), 349\u2013381 (2023)","journal-title":"Israel J. Math."},{"key":"996_CR3","volume-title":"Topics in set theory: Lebesgue measurability, large cardinals, forcing axioms, rho-functions","author":"M Bekkali","year":"2006","unstructured":"Bekkali, M.: Topics in set theory: Lebesgue measurability, large cardinals, forcing axioms, rho-functions. Springer, Berlin (2006)"},{"issue":"1","key":"996_CR4","doi-asserted-by":"publisher","first-page":"71","DOI":"10.4064\/fm140-4-2016","volume":"236","author":"J Bergfalk","year":"2017","unstructured":"Bergfalk, J.: Strong homology, derived limits, and set theory. Fund. Math. 236(1), 71\u201382 (2017)","journal-title":"Fund. Math."},{"issue":"01","key":"996_CR5","doi-asserted-by":"publisher","first-page":"2250019","DOI":"10.1142\/S0219061322500192","volume":"23","author":"J Bergfalk","year":"2023","unstructured":"Bergfalk, J., Hru\u0161\u00e1k, M., Lambie-Hanson, C.: Simultaneously vanishing higher derived limits without large cardinals. J. Math. Log. 23(01), 2250019 (2023)","journal-title":"J. Math. Log."},{"issue":"3","key":"996_CR6","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0168-0072(95)00003-Y","volume":"75","author":"J Cummings","year":"1995","unstructured":"Cummings, J., Shelah, S.: Cardinal invariants above the continuum. Ann. Pure Appl. Logic 75(3), 251\u2013268 (1995)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2\u20133","key":"996_CR7","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF02762012","volume":"29","author":"KJ Devlin","year":"1978","unstructured":"Devlin, K.J., Shelah, S.: A weak version of $$\\Diamond $$ which follows from $$2^{\\aleph _0} < 2^{\\aleph _1}$$. Israel J. Math. 29(2\u20133), 239\u2013247 (1978)","journal-title":"Israel J. Math."},{"issue":"3","key":"996_CR8","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1090\/S0002-9939-1989-0961403-5","volume":"106","author":"A Dow","year":"1989","unstructured":"Dow, A., Simon, P., Vaughan, J.E.: Strong homology and the proper forcing axiom. Proceedings of the American Mathematical Society 106(3), 821\u2013828 (1989)","journal-title":"Proceedings of the American Mathematical Society"},{"key":"996_CR9","doi-asserted-by":"crossref","unstructured":"Hechler, S.H.: On the existence of certain cofinal subsets of $$^{\\omega }\\omega $$, Axiomatic Set Theory (Providence, RI) (Thomas\u00a0J. Jech, ed.), Proceedings of Symposia in Pure Mathematics, vol. 13, Part II, American Mathematical Society, pp.\u00a0155\u2013173 (1974)","DOI":"10.1090\/pspum\/013.2\/9987"},{"key":"996_CR10","volume-title":"Set theory","author":"K Kunen","year":"2013","unstructured":"Kunen, K.: Set theory, revised College Publication, London (2013)","edition":"revised"},{"key":"996_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-13064-3","volume-title":"Strong shape and homology","author":"S Mardesic","year":"2000","unstructured":"Mardesic, S.: Strong shape and homology. Springer Science & Business Media, New York (2000)"},{"issue":"2","key":"996_CR12","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1090\/S0002-9947-1988-0940224-7","volume":"307","author":"S Marde\u0161i\u0107","year":"1988","unstructured":"Marde\u0161i\u0107, S., Prasolov, A.V.: Strong homology is not additive. Trans. Am. Math. Soc. 307(2), 725\u2013744 (1988)","journal-title":"Trans. Am. Math. Soc."},{"issue":"2","key":"996_CR13","doi-asserted-by":"publisher","first-page":"233","DOI":"10.4153\/CJM-1973-023-0","volume":"25","author":"B Mitchell","year":"1973","unstructured":"Mitchell, B.: The cohomological dimension of a directed set. Can. J. Math. 25(2), 233\u2013238 (1973)","journal-title":"Can. J. Math."},{"key":"996_CR14","first-page":"3702","volume":"252","author":"J-E Roos","year":"1961","unstructured":"Roos, J.-E.: Sur les foncteurs d\u00e9riv\u00e9s de lim. Applications. CR Acad. Sci. Paris 252, 3702\u20133704 (1961)","journal-title":"CR Acad. Sci. Paris"},{"key":"996_CR15","doi-asserted-by":"publisher","DOI":"10.24033\/msmf.389","volume-title":"Quasi-abelian categories and sheaves","author":"J-P Schneiders","year":"1999","unstructured":"Schneiders, J.-P.: Quasi-abelian categories and sheaves. Soci\u00e9t\u00e9 math\u00e9matique de France (1999)"},{"issue":"4","key":"996_CR16","doi-asserted-by":"publisher","first-page":"831","DOI":"10.2969\/jmsj\/05040831","volume":"50","author":"S Todorcevic","year":"1998","unstructured":"Todorcevic, S.: The first derived limit and compactly $${\\rm F} \\sigma $$ sets. Journal of the Mathematical Society of Japan 50(4), 831\u2013836 (1998)","journal-title":"Journal of the Mathematical Society of Japan"},{"key":"996_CR17","volume-title":"Non-vanishing higher derived limits","author":"B Velickovic","year":"2023","unstructured":"Velickovic, B., Vignati, A.: Non-vanishing higher derived limits. Communications in Contemporary Mathematics, Singapore (2023)"},{"key":"996_CR18","volume-title":"An introduction to homological algebra","author":"CA Weibel","year":"1995","unstructured":"Weibel, C.A.: An introduction to homological algebra, vol. 38. Cambridge University Press, Cambridge (1995)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00996-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-025-00996-z","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00996-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T17:23:56Z","timestamp":1770398636000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-025-00996-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,4]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,2]]}},"alternative-id":["996"],"URL":"https:\/\/doi.org\/10.1007\/s00153-025-00996-z","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,4]]},"assertion":[{"value":"5 October 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}