{ "id": "2109.02037", "version": "v1", "published": "2021-09-05T10:16:36.000Z", "updated": "2021-09-05T10:16:36.000Z", "title": "Reverse mathematics of rings", "authors": [ "Jordan Mitchell Barrett" ], "comment": "Masters thesis submitted to Victoria University of Wellington, 2021. Supervised by Dan Turetsky. 5+96 pages, 5 figures", "categories": [ "math.LO", "math.RA" ], "abstract": "Using the tools of reverse mathematics in second-order arithmetic, as developed by Friedman, Simpson, and others, we determine the axioms necessary to develop various topics in commutative ring theory. Our main contributions to the field are as follows. We look at fundamental results concerning primary ideals and the radical of an ideal, concepts previously unstudied in reverse mathematics. Then we turn to a fine-grained analysis of four different definitions of Noetherian in the weak base system $\\mathsf{RCA}_0 + \\mathsf{I}\\Sigma_2$. Finally, we begin a systematic study of various types of integral domains: PIDs, UFDs and B\\'ezout and GCD domains.", "revisions": [ { "version": "v1", "updated": "2021-09-05T10:16:36.000Z" } ], "analyses": { "subjects": [ "03B30", "03F35", "13E05", "13G05" ], "keywords": [ "reverse mathematics", "fundamental results concerning primary ideals", "weak base system", "integral domains", "systematic study" ], "tags": [ "dissertation" ], "note": { "typesetting": "TeX", "pages": 96, "language": "en", "license": "arXiv", "status": "editable" } } }