{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T04:17:59Z","timestamp":1751948279888,"version":"3.41.2"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T00:00:00Z","timestamp":1735603200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T00:00:00Z","timestamp":1735603200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2025,7]]},"DOI":"10.1007\/s00153-024-00962-1","type":"journal-article","created":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T09:23:18Z","timestamp":1735636998000},"page":"637-667","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Categories and functors in reverse and computable mathematics"],"prefix":"10.1007","volume":"64","author":[{"given":"Huishan","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,12,31]]},"reference":[{"key":"962_CR1","doi-asserted-by":"publisher","first-page":"6523","DOI":"10.1090\/S0002-9947-2010-05013-5","volume":"362","author":"CJ Conidis","year":"2010","unstructured":"Conidis, C.J.: Chain conditions in computable rings. Trans. Am. Math. Soc. 362, 6523\u20136550 (2010)","journal-title":"Trans. Am. Math. Soc."},{"key":"962_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.aim.2018.10.036","volume":"341","author":"CJ Conidis","year":"2019","unstructured":"Conidis, C.J.: The computability, definability, and proof theory of Artinian rings. Adv. Math. 341, 1\u201339 (2019)","journal-title":"Adv. Math."},{"key":"962_CR3","unstructured":"Conidis, C. J.: Computability theoretic aspects of an antichain theorem for infinite extendible trees of nontrivial rank, preprint, 2020"},{"key":"962_CR4","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1016\/j.jalgebra.2007.02.058","volume":"314","author":"RG Downey","year":"2007","unstructured":"Downey, R.G., Lempp, S., Mileti, J.R.: Ideals in computable rings. J. Algebra 314, 872\u2013887 (2007)","journal-title":"J. Algebra"},{"key":"962_CR5","doi-asserted-by":"publisher","first-page":"888","DOI":"10.1016\/j.jalgebra.2006.08.040","volume":"314","author":"RG Downey","year":"2007","unstructured":"Downey, R.G., Hirschfeldt, D.R., Kach, A.M., Lempp, S., Mileti, J.R., Montalb\u00e1n, A.: Subspaces of computable vector spaces. J. Algebra 314, 888\u2013894 (2007)","journal-title":"J. Algebra"},{"key":"962_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-11367-3","volume-title":"Reverse Mathematics: Problems","author":"DD Dzhafarov","year":"2022","unstructured":"Dzhafarov, D.D., Mummert, C.: Reverse Mathematics: Problems. Reductions and Proofs, Theory and Applications of Computability, Springer (2022)"},{"key":"962_CR7","unstructured":"Friedman, H. M.: Some systems of second-order arithemtic and their use, Proceedings of the International Congress of Mathematicians (Vancouver, Canada, 1974), Canadian Mathematical Congress, 1 235-242 (1975)"},{"key":"962_CR8","doi-asserted-by":"crossref","first-page":"557","DOI":"10.2307\/2272234","volume":"41","author":"HM Friedman","year":"1976","unstructured":"Friedman, H.M.: Systems of second-order arithmetic with resticted induction, I, II (abstracts). J. Symb. Logic 41, 557\u2013559 (1976)","journal-title":"J. Symb. Logic"},{"key":"962_CR9","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0168-0072(83)90012-X","volume":"25","author":"HM Friedman","year":"1983","unstructured":"Friedman, H.M., Simpson, S.G., Smith, R.L.: Countable algebra and set existence axioms. Ann. Pure Appl. Logic 25, 141\u2013181 (1983)","journal-title":"Ann. Pure Appl. Logic"},{"key":"962_CR10","unstructured":"Hilton, P. J., Stammbach, U.: A Course in Homological Algebra. Second edition, Graduate Texts in Mathematics, 4. Springer-Verlag, New York, 2003"},{"key":"962_CR11","unstructured":"Hunter, J.: Higher-Order Reverse Topology. PhD thesis, University of Wisconsin-Madison, ProQuest LLC, Ann Arbor, MI, 2008"},{"key":"962_CR12","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: Higher-order reverse mathematics, Reverse mathematics,: Lecture Notes in Logic 21. Association for Symbolic Logic, La Jolla, CA 2005, 281\u2013295 (2001)","DOI":"10.1017\/9781316755846.018"},{"key":"962_CR13","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1016\/j.jpaa.2011.07.012","volume":"216","author":"S Lack","year":"2012","unstructured":"Lack, S.: Non-canonical isomorphisms. J. Pure Appl. Algebra 216, 593\u2013597 (2012)","journal-title":"J. Pure Appl. Algebra"},{"key":"962_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107360068","volume-title":"Basic category theory","author":"T Leinster","year":"2014","unstructured":"Leinster, T.: Basic category theory. Cambridge University Press, Cambridge (2014)"},{"key":"962_CR15","unstructured":"MacLane, S.: Categories for the working mathematician. Second edition, Graduate Texts in Mathematics, 5. Springer-Verlag, New York, 2003"},{"issue":"2","key":"962_CR16","doi-asserted-by":"publisher","first-page":"561","DOI":"10.2178\/jsl\/1305810764","volume":"76","author":"I Neeman","year":"2011","unstructured":"Neeman, I.: Necessary use of $$\\Sigma ^{1}_{1}$$-induction in a reversal. J. Symb. Logic 76(2), 561\u2013574 (2011)","journal-title":"J. Symb. Logic"},{"key":"962_CR17","first-page":"537","volume":"61","author":"S Sanders","year":"2020","unstructured":"Sanders, S.: Reverse mathematics of toplology: dimension, paracompactness, and splittings. Notre Dame J. Formal Logic 61, 537\u2013559 (2020)","journal-title":"Notre Dame J. Formal Logic"},{"key":"962_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59971-2","volume-title":"Subsystems of Second-Order Arithmetic","author":"SG Simpson","year":"1999","unstructured":"Simpson, S.G.: Subsystems of Second-Order Arithmetic. Springer, Berlin (1999)"},{"key":"962_CR19","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1305\/ndjfl\/1039293061","volume":"39","author":"R Solomon","year":"1998","unstructured":"Solomon, R.: Reverse mathematics and fully ordered groups. Notre Dame Journal of Formal Logic 39, 157\u2013189 (1998)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"962_CR20","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/S0168-0072(01)00097-5","volume":"115","author":"R Solomon","year":"2002","unstructured":"Solomon, R.: $${\\Pi }^{0}_{1}$$-class and ordered groups. Ann. Pure Appl. Logic 115, 279\u2013302 (2002)","journal-title":"Ann. Pure Appl. Logic"},{"key":"962_CR21","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvc772m5","volume-title":"Reverse Mathematics: Proofs from the Inside Out","author":"J Stillwell","year":"2018","unstructured":"Stillwell, J.: Reverse Mathematics: Proofs from the Inside Out. Princeton University Press, Princeton (2018)"},{"key":"962_CR22","unstructured":"Weibel, C. A.: An Introduction to Homological Algebra, Cambridge Studies in Advanced Mathematics 38, Cambridge University Press, (1995)"},{"key":"962_CR23","unstructured":"Yamazaki, T.: Homological Algebra and Reverse Mathematics (a middle report). Second Workshop on Mathematical Logic and its Applications in Kanazawa, 2018. https:\/\/www.jaist.ac.jp\/is\/labs\/ishihara-lab\/mla2018\/doc\/slides\/Takeshi-Yamazaki.pdf"},{"key":"962_CR24","unstructured":"Zheng, W.: Lectures on Homological Algebra. Chinese Academy of Sciences, Beijing, China. https:\/\/server.mcm.ac.cn\/~zheng\/homalg.pdf"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00962-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-024-00962-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00962-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T22:02:53Z","timestamp":1751925773000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-024-00962-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,31]]},"references-count":24,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2025,7]]}},"alternative-id":["962"],"URL":"https:\/\/doi.org\/10.1007\/s00153-024-00962-1","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2024,12,31]]},"assertion":[{"value":"5 December 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 December 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 December 2024","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":"Conflict of interest"}}]}}