{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T04:29:22Z","timestamp":1777091362731,"version":"3.51.4"},"reference-count":4,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":10876,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1984,6]]},"abstract":"<jats:p>If <jats:italic>L<\/jats:italic> is a first-order language, then an <jats:italic>L<\/jats:italic>-structure <jats:italic>A<\/jats:italic> is called quantifier-eliminable (QE) if every <jats:italic>L<\/jats:italic>-formula is equivalent in <jats:italic>A<\/jats:italic> to a formula without quantifiers.<\/jats:p><jats:p>The classification problem for QE groups and rings has received attention in work by Berline, Boffa, Cherlin, Feigner, Macintyre, Point, Rose, the present authors, and others. In [1], Berline and Cherlin reduced the problem for rings of prime characteristic <jats:italic>p<\/jats:italic> to that for nilrings, but also constructed <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200033697_inline1\"\/> countable QE nilrings of characteristic <jats:italic>p<\/jats:italic>. Likewise, in [3], we constructed <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200033697_inline1\"\/> countable QE nil-2 groups. Both results can be viewed as \u201cnonstructure theorems\u201d, in that they provide negative evidence for any attempt at classification. In the present paper we show that the situation is equally bad (or rich, depending on one's point of view) for commutative rings:<\/jats:p><jats:p>Theorem 1. <jats:italic>For any odd prime p, there exist<\/jats:italic><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200033697_inline1\"\/><jats:italic>countable QE commutative nilrings of characteristic p<\/jats:italic>.<\/jats:p><jats:p>This solves a problem posed in [1]. We remark that the examples we produce are uniformly locally finite, hence \u2135<jats:sub>0<\/jats:sub>-categorical. A more algebraic description is that each of our rings <jats:italic>R<\/jats:italic> is uniformly locally finite (in fact, <jats:italic>R<\/jats:italic><jats:sup>3<\/jats:sup> = 0) and homogeneous, in the sense that any isomorphism of finitely generated subrings extends to an automorphism of <jats:italic>R<\/jats:italic>.<\/jats:p><jats:p>Theorem 1 does not cover the case <jats:italic>p<\/jats:italic> = 2, and we show that for commutative rings this case is in fact exceptional:<\/jats:p><jats:p>Theorem 2. <jats:italic>There exist exactly two nonisomorphic countably infinite QE commutative nilrings of characteristic<\/jats:italic> 2.<\/jats:p>","DOI":"10.2307\/2274196","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:08:28Z","timestamp":1146938908000},"page":"644-651","source":"Crossref","is-referenced-by-count":10,"title":["QE commutative nilrings"],"prefix":"10.1017","volume":"49","author":[{"given":"D.","family":"Saracino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Wood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200033697_ref004","first-page":"585","volume":"45","author":"Schmerl","year":"1980","journal-title":"Decidability and \u21350-categoricity of theories of partially ordered sets"},{"key":"S0022481200033697_ref001","first-page":"16","volume-title":"Logic year 1979\/80 (Proceedings of seminars and conference, Storrs, Connecticut)","volume":"859","author":"Berline","year":"1981"},{"key":"S0022481200033697_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(82)90218-6"},{"key":"S0022481200033697_ref002","first-page":"3","article-title":"QE nilrings of prime characteristic","volume":"33","author":"Berline","year":"1981","journal-title":"Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de Belgique, S\u00e9rie A"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200033697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T16:48:19Z","timestamp":1558630099000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200033697\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,6]]},"references-count":4,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1984,6]]}},"alternative-id":["S0022481200033697"],"URL":"https:\/\/doi.org\/10.2307\/2274196","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,6]]}}}