{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:12Z","timestamp":1740108192746,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2023,6,8]],"date-time":"2023-06-08T00:00:00Z","timestamp":1686182400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,6,8]],"date-time":"2023-06-08T00:00:00Z","timestamp":1686182400000},"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":[[2023,11]]},"DOI":"10.1007\/s00153-023-00885-3","type":"journal-article","created":{"date-parts":[[2023,6,8]],"date-time":"2023-06-08T14:02:34Z","timestamp":1686232954000},"page":"1083-1100","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Structure of semisimple rings in reverse and computable mathematics"],"prefix":"10.1007","volume":"62","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0698-7649","authenticated-orcid":false,"given":"Huishan","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,6,8]]},"reference":[{"key":"885_CR1","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4418-9","volume-title":"Rings and Categories of Modules","author":"FW Anderson","year":"1992","unstructured":"Anderson, F.W., Fuller, K.R.: Rings and Categories of Modules. Graduate Texts in Mathematics, vol. 13, 2nd edn. Springer-Verlag, New York (1992)","edition":"2"},{"key":"885_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":"885_CR3","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1016\/j.jalgebra.2014.02.027","volume":"406","author":"CJ Conidis","year":"2014","unstructured":"Conidis, C.J.: Infinite dimensional proper subspaces of computable vector spaces. J. Algebra 406, 346\u2013375 (2014)","journal-title":"J. Algebra"},{"key":"885_CR4","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":"885_CR5","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":"885_CR6","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":"885_CR7","unstructured":"Friedman, H.M.: Some systems of second order arithmetic and their use. In: Proceedings of the International Congress of Mathematicians (Vancouver, Canada, 1974), vol. 1, pp. 235\u2013242. Canadian Mathematical Congress"},{"key":"885_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 restricted induction, I, II (abstracts). J. Symb. Logic 41, 557\u2013559 (1976)","journal-title":"J. Symb. Logic"},{"key":"885_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":"885_CR10","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0168-0072(89)90006-7","volume":"41","author":"K Hatzikiriakou","year":"1989","unstructured":"Hatzikiriakou, K., Simpson, S.G.: Countable valued fields in weak subsystems of second-order arithmetic. Ann. Pure Appl. Logic 41, 27\u201332 (1989)","journal-title":"Ann. Pure Appl. Logic"},{"key":"885_CR11","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1090\/conm\/106\/1057821","volume":"106","author":"K Hatzikiriakou","year":"1990","unstructured":"Hatzikiriakou, K., Simpson, S.G.: $$\\text{ WKL}_{0}$$ and orderings of countable abelian groups. Contemp. Math. 106, 177\u2013180 (1990)","journal-title":"Contemp. Math."},{"key":"885_CR12","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1017\/jsl.2016.17","volume":"82","author":"K Hatzikiriakou","year":"2017","unstructured":"Hatzikiriakou, K., Simpson, S.G.: Reverse mathematics, young diagrams, and the ascending chain condition. J. Symb. Logic 82, 576\u2013589 (2017)","journal-title":"J. Symb. Logic"},{"key":"885_CR13","doi-asserted-by":"publisher","DOI":"10.1515\/9781400889037","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":"885_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8616-0","volume-title":"A First Course in Noncommutative Rings","author":"TY Lam","year":"2001","unstructured":"Lam, T.Y.: A First Course in Noncommutative Rings, vol. 131, 2nd edn. Springer-Verlag, New York (2001)","edition":"2"},{"key":"885_CR15","doi-asserted-by":"publisher","first-page":"104762","DOI":"10.1016\/j.ic.2021.104762","volume":"287","author":"S Sanders","year":"2021","unstructured":"Sanders, S.: Lifting proofs from countable to uncountable mathematics. Inf. Comput. 287, 104762 (2021). https:\/\/doi.org\/10.1016\/j.ic.2021.104762","journal-title":"Inf. Comput."},{"key":"885_CR16","unstructured":"Sato, T.: Reverse Mathematics and Countable Algebraic Systems. PhD thesis, Tohoku University, Sendai, Japan (2016)"},{"key":"885_CR17","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s00153-017-0526-y","volume":"56","author":"T Sato","year":"2017","unstructured":"Sato, T., Yamazaki, T.: Reverse mathematics and order theoretic fixed point theorems. Arch. Math. Logic 56, 385\u2013396 (2017)","journal-title":"Arch. Math. Logic"},{"key":"885_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-Verlag, New York (1999)"},{"key":"885_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 J. Formal Logic 39, 157\u2013189 (1998)","journal-title":"Notre Dame J. Formal Logic"},{"key":"885_CR20","doi-asserted-by":"publisher","first-page":"45","DOI":"10.2307\/421140","volume":"5","author":"R Solomon","year":"1999","unstructured":"Solomon, R.: Ordered groups: a case study in reverse mathematics. Bull. Symb. Log. 5, 45\u201358 (1999)","journal-title":"Bull. Symb. Log."},{"key":"885_CR21","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. Formal Logic 61, 141\u2013153 (2020)","journal-title":"Notre Dame J. Formal Logic"},{"key":"885_CR22","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s00153-020-00738-3","volume":"60","author":"H Wu","year":"2021","unstructured":"Wu, H.: Ring structure theorems and arithmetic comprehension. Arch. Math. Logic 60, 145\u2013160 (2021)","journal-title":"Arch. Math. Logic"},{"key":"885_CR23","unstructured":"Yamazaki, T.: Reverse Mathematics and Commutative Ring Theory. Computability Theory and Foundations of Mathematics, Tokyo Institute Of Technology, 18\u201320 Feb (2013). http:\/\/www.sendailogic.com\/CTFM2013\/slides\/Yamazaki.pdf"},{"key":"885_CR24","unstructured":"Yamazaki, T.: Homological Algebra and Reverse Mathematics (a middle report). Second Workshop on Mathematical Logic and its Applications in Kanazawa (2018)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-023-00885-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-023-00885-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-023-00885-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,20]],"date-time":"2023-09-20T03:28:23Z","timestamp":1695180503000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-023-00885-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,8]]},"references-count":24,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2023,11]]}},"alternative-id":["885"],"URL":"https:\/\/doi.org\/10.1007\/s00153-023-00885-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2023,6,8]]},"assertion":[{"value":"18 March 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 June 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}