{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T01:56:47Z","timestamp":1777687007820,"version":"3.51.4"},"reference-count":20,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2021,5,1]]},"DOI":"10.1215\/00294527-2021-0017","type":"journal-article","created":{"date-parts":[[2021,6,9]],"date-time":"2021-06-09T15:33:24Z","timestamp":1623252804000},"source":"Crossref","is-referenced-by-count":5,"title":["The Complexity of Module Radicals"],"prefix":"10.1215","volume":"62","author":[{"given":"Chris J.","family":"Conidis","sequence":"first","affiliation":[{"name":"Department of Mathematics, College of Staten Island, Staten Island, New York, USA"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"Anderson, F. W., and K. R. Fuller, <i>Rings and Categories of Modules<\/i>, 2nd edition, vol. 13 of <i>Graduate Texts in Mathematics<\/i>, Springer, New York, 1992.","DOI":"10.1007\/978-1-4612-4418-9"},{"key":"2","unstructured":"Atiyah, M. F., and I. G. MacDonald, <i>Introduction to Commutative Algebra<\/i>, Perseus, New York, 1969."},{"key":"3","doi-asserted-by":"publisher","unstructured":"Baumslag, G., F. B. Canonito, and C. F. Miller, III, \u201cComputable algebra and group embeddings,\u201d <i>Journal of Algebra<\/i>, vol. 69 (1981), pp. 186\u2013212.","DOI":"10.1016\/0021-8693(81)90138-1"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Conidis, C. J., \u201cOn the complexity of radicals in noncommutative rings,\u201d <i>J. Algebra<\/i>, vol. 322 (2009), pp. 3670\u201380.","DOI":"10.1016\/j.jalgebra.2009.07.039"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Downey, R. G., S. Lempp, and J. R. Mileti, \u201cIdeals in computable rings,\u201d <i>Journal of Algebra<\/i>, vol. 314 (2007), pp. 872\u201387.","DOI":"10.1016\/j.jalgebra.2007.02.058"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Downey, R. G., and A. G. Melnikov, \u201cEffectively categorical abelian groups,\u201d <i>Journal of Algebra<\/i>, vol. 373 (2013), pp. 223\u201348.","DOI":"10.1016\/j.jalgebra.2012.09.020"},{"key":"7","unstructured":"Dummit, D. S., and R. M. Foote, <i>Abstract Algebra<\/i>, 3rd edition, Wiley, Hoboken, NJ, 2004."},{"key":"8","doi-asserted-by":"publisher","unstructured":"Friedman, H. M., S. G. Simpson, and R. L. Smith, \u201cCountable algebra and set existence axioms,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 25 (1983), pp. 141\u201381. <i>Annals of Pure and Applied Logic<\/i>, vol. 28 (1985), pp. 319\u201320.","DOI":"10.1016\/0168-0072(83)90012-X"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Fr\u00f6hlich, A., and J. C. Shepherdson, \u201cEffective procedures in field theory,\u201d <i>Philosophical Transactions of the Royal Society, Series A<\/i>, vol. 248 (1956), pp. 407\u201332.","DOI":"10.1098\/rsta.1956.0003"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Kronecker, L., \u201cGrundz\u00fcge einer arithmetischen theorie der algebraischen gro\u00f6ssen,\u201d <i>Journal f\u00fcr die Reine und Angewandte<\/i>, vol. 92 (1882), pp. 1\u2013122.","DOI":"10.1515\/crll.1882.92.1"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Lam, T. Y., <i>A First Course in Noncommutative Rings<\/i>, 2nd edition, vol. 131 of <i>Graduate Texts in Mathematics<\/i>, Springer, New York, 2001.","DOI":"10.1007\/978-1-4419-8616-0"},{"key":"12","unstructured":"Lang, S., <i>Algebra<\/i>, 3rd edition, Addison-Wesley, Reading, MA, 1993."},{"key":"13","doi-asserted-by":"publisher","unstructured":"Rabin, M. O., \u201cComputable algebra, general theory and theory of computable fields,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol 95 (1960), pp. 341\u201360.","DOI":"10.2307\/1993295"},{"key":"14","unstructured":"Rogers, H., Jr\u201e <i>Theory of Recursive Functions and Effective Computability<\/i>, 2nd edition, MIT Press, Cambridge, MA, 1987."},{"key":"15","doi-asserted-by":"publisher","unstructured":"Simpson, S. G., <i>Subsystems of Second Order Arithmetic<\/i>, 2nd edition, <i>Perspectives in Logic<\/i>, Cambridge University Press, Cambridge, 2009.","DOI":"10.1017\/CBO9780511581007"},{"key":"16","doi-asserted-by":"publisher","unstructured":"Soare, R. I., <i>Turing Computability: Theory and Applications<\/i>, Theory and Applications of Computability Theory, Springer, Berlin, 2016.","DOI":"10.1007\/978-3-642-31933-4"},{"key":"17","doi-asserted-by":"publisher","unstructured":"Stoltenberg-Hansen, V., and J. V. Tucker, \u201cComputable rings and fields,\u201d pp. 363\u2013447 in <i>Handbook of Computability Theory<\/i>, edited by E. R. Griffor, vol. 140 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1999.","DOI":"10.1016\/S0049-237X(99)80028-7"},{"key":"18","doi-asserted-by":"publisher","unstructured":"Turing, A.M., \u201cOn computable numbers, with an application to the entscheidungsproblem,\u201d <i>Proceedings of the London Mathematical Society<\/i>, vol. 42 (1936), pp. 230\u201365.","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"19","doi-asserted-by":"crossref","unstructured":"van der Waerden, B. L., <i>Algebra, Vols. I and II<\/i>, Springer, New York, 1991.","DOI":"10.1007\/978-1-4612-4420-2"},{"key":"20","doi-asserted-by":"publisher","unstructured":"Wu, H., \u201cThe complexity of radicals and socles of modules,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 61 (2020), pp. 141\u201353.","DOI":"10.1215\/00294527-2019-0036"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2021-0017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:00:29Z","timestamp":1706648429000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-62\/issue-2\/The-Complexity-of-Module-Radicals\/10.1215\/00294527-2021-0017.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,1]]},"references-count":20,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2021,5,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2021-0017","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2021,5,1]]}}}