{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:05Z","timestamp":1740108185082,"version":"3.37.3"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2020,6,30]],"date-time":"2020-06-30T00:00:00Z","timestamp":1593475200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,30]],"date-time":"2020-06-30T00:00:00Z","timestamp":1593475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100008343","name":"Science Foundation of Beijing Language and Culture University","doi-asserted-by":"crossref","award":["19YJ040009"],"award-info":[{"award-number":["19YJ040009"]}],"id":[{"id":"10.13039\/501100008343","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s00153-020-00738-3","type":"journal-article","created":{"date-parts":[[2020,6,30]],"date-time":"2020-06-30T20:03:18Z","timestamp":1593547398000},"page":"145-160","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Ring structure theorems and arithmetic comprehension"],"prefix":"10.1007","volume":"60","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0698-7649","authenticated-orcid":false,"given":"Huishan","family":"Wu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,6,30]]},"reference":[{"key":"738_CR1","doi-asserted-by":"crossref","unstructured":"Anderson, F.W., Fuller, K.R.: Rings and Categories of Modules, 2nd edn., Graduate Texts in Mathematics, 13. Springer, New York (1992)","DOI":"10.1007\/978-1-4612-4418-9"},{"key":"738_CR2","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":"738_CR3","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 commutative rings. J. Algebra 314, 872\u2013887 (2007)","journal-title":"J. Algebra"},{"key":"738_CR4","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":"738_CR5","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0889-1","volume-title":"Noncommutative Algebra","author":"B Farb","year":"1993","unstructured":"Farb, B., Dennis, R.K.: Noncommutative Algebra. Graduate Texts in Mathematics, vol. 144. Springer, New York (1993)"},{"key":"738_CR6","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":"738_CR7","doi-asserted-by":"crossref","unstructured":"Lam, T.Y.: A First Course in Noncommutative Rings, 2nd edn. Graduate Texts in Mathematics, 131. Springer, New York (2001)","DOI":"10.1007\/978-1-4419-8616-0"},{"key":"738_CR8","unstructured":"Sato, T.: Reverse Mathematics and Countable Algebraic Systems. Ph.D. thesis, Tohoku University, Sendai, Japan (2016)"},{"key":"738_CR9","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":"738_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1215\/00294527-2019-0036","volume":"61","author":"H Wu","year":"2020","unstructured":"Wu, H.: The complexity of radicals and socles of modules. Notre Dame J. Form. Logic 61, 141\u2013153 (2020)","journal-title":"Notre Dame J. Form. Logic"},{"key":"738_CR11","unstructured":"Yamazaki, T.: Reverse Mathematics and Commutative Ring Theory. Computability Theory and Foundations of Mathematics, Tokyo Institute Of Technology, February 18\u201320 (2013)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00738-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-020-00738-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00738-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T23:13:54Z","timestamp":1625008434000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-020-00738-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,30]]},"references-count":11,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["738"],"URL":"https:\/\/doi.org\/10.1007\/s00153-020-00738-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2020,6,30]]},"assertion":[{"value":"29 May 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 June 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 June 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}