{"entities":{"Q1920871":{"pageid":1931613,"ns":120,"title":"Item:Q1920871","lastrevid":69303849,"modified":"2026-04-13T06:06:39Z","type":"item","id":"Q1920871","labels":{"en":{"language":"en","value":"Critical theories of supervarieties of the variety of commutative associative rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 917160"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920871$38581914-3576-4FFC-809B-3D0026D6B507","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17967e56f79b0dd4266a9425a85c6415b5a6187f","datavalue":{"value":{"text":"Critical theories of supervarieties of the variety of commutative associative rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1920871$2C2505C5-C49F-454D-8311-169CF2F9C9A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e527b03a303a04147577802d52a177aab408313f","datavalue":{"value":"0857.17004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920871$A3C1D0B6-F7F1-4F69-BB7F-C7BE5D0F2F1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c5898ccf2ab6caf9e674fe9e6a005adc3737214","datavalue":{"value":"10.1007/BF02106842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920871$7D6312E5-4641-40A7-AE54-816106B03476","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c96843a11866d938aa8987e4ff270b5e05d3954","datavalue":{"value":{"entity-type":"item","numeric-id":178453,"id":"Q178453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920871$A75D7A27-72EE-41EE-840B-8A9525AAB582","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920871$16CB2D47-519B-4E87-80A7-A03CE1769827","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d08bb9a72a2259fe21464e6025b4a7e58a684cc","datavalue":{"value":{"time":"+1997-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1920871$2550879B-4C98-47BA-B6BD-863D0367167B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f8adea1b2260c6434db43b639778b60a961b1e3","datavalue":{"value":"The notion of an \\(SA\\)-critical theory was introduced by \\textit{Yu. M. Vazhenin} [Algebra Logic 26, No. 4, 241-252 (1987); translation from Algebra Logika 26, No. 4, 419-434 (1987; Zbl 0647.03006)]. The description of \\(SA\\)-critical theories for many classes of rings, in particular, for all rings, all associative rings and all commutative rings is known. Let \\({\\mathcal A}\\) and \\({\\mathcal C}\\) be varieties of all commutative rings and all associative rings, respectively. In the article under review \\(SA\\)-critical theories of ring varieties \\({\\mathcal V}\\) with \\({\\mathcal V}\\supseteq A\\cap C\\) are investigated. Let \\(B({\\mathcal K})\\) be the set of all \\(SA\\)-critical theories of a class of rings \\({\\mathcal K}\\). The main result of the article is the following:    Theorem 1. (i) Let \\({\\mathcal V}\\) be a ring variety with \\({\\mathcal V}\\supseteq A\\cap C\\). Then \\(B({\\mathcal V})\\) is either \\(\\{\\forall\\}\\) or \\(\\{\\forall\\exists, \\forall\\neg\\vee\\}\\) or \\(\\{\\forall\\exists, \\exists\\forall\\neg\\vee\\}\\). (ii) Each of the three sets mentioned in item (i) is \\(B({\\mathcal V})\\) for some ring variety \\({\\mathcal V}\\) with \\({\\mathcal V}\\supseteq A\\cap C\\). (iii) There exists no algorithm which, for a given ring variety \\({\\mathcal V}\\) with \\({\\mathcal V}\\supseteq A\\cap C\\), could determine \\(B({\\mathcal V})\\).    As a corollary of this theorem, the author describes \\(SA\\)-critical theories of the classes of all Jordan rings and all alternative rings. Namely, if \\({\\mathcal X}\\) is one of these two classes then \\(B({\\mathcal X})=\\{\\forall\\exists, \\forall\\neg\\vee\\}\\). Theorem 2 states that \\(B({\\mathcal F})=\\{\\forall\\exists, \\forall\\neg\\vee\\}\\), where \\({\\mathcal F}\\) is the class of all finite alternative rings. In particular, Theorem 2 implies that the word problem in the class \\({\\mathcal F}\\) is undecidable. This gives a negative answer to a question of L. A. Bokut' in Dnestrovsk Notebook.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920871$C3CFD92A-F35D-44C3-9BF6-C5DCE50CA66D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1e037731cf5fe8d56e5ff843e21caf66868428b","datavalue":{"value":"17A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920871$EB529147-513B-4283-AA7F-A2E03172417C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920871$A388EA79-81EE-462D-B7BD-7E81C306AE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7e0bb18d368fc1c1d30874ab53ae2befbd86c54","datavalue":{"value":"17C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920871$9D64D5D8-0835-48F7-A741-94BB9386DA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8fc88e235f052a45b151cac60a8aa1485a0df6a4","datavalue":{"value":"17D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920871$889B0E7B-15FE-4EEF-9B53-8DFDA6D18300","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a379ad831357cb153ac77333692c38a84c82e400","datavalue":{"value":"917160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920871$8E12C07E-4DE2-4C48-B1B1-6B8220227A83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa57e4cc281db10bdcfc2b50f2dcb312870ecf94","datavalue":{"value":"variety of rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920871$DB7DE9AB-DECD-4C91-9E25-4C92082E9E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc3d48ab9eb6707fd7059dbbc43b81d290595cd9","datavalue":{"value":"SA-hierarchy of first order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920871$CC18DEB6-1FE9-45A9-B476-736E034B7A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6af24c1a2f13d0bd65589bf579b8a7c3549dbd","datavalue":{"value":"undecidable word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920871$AE8CCF9E-6A97-43FB-A8EB-903D444EA612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023b74bd509dae78122669c7ab78b5072817b1c2","datavalue":{"value":"critical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920871$F7B103F2-510C-45BA-867D-FA623CDBECA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49abc1dd2092a5abcf9e57efe6001387073bc4fe","datavalue":{"value":"Jordan rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920871$283230A1-7B41-4D8D-A4D6-C9D9A6D1AB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e40102071c797afbd50b874b1af8fd666e5d336","datavalue":{"value":"alternative rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920871$25E29ED2-8BA0-4D8F-A8F4-D6941ACC2CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed8541d52187c669ee021a30ba900ce21564c355","datavalue":{"value":"finite alternative rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920871$CF982C4E-92E6-4E19-BDF4-5624C8B4ACF0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b14ac833afc72247aace02692250d7eb69a8515e","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920871$1272AC75-740D-4681-B129-319BDC298236","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920871$B03FD622-F31F-43FF-8D75-639FC5041795","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae98edff5c5b05b120bc0082505efe793771f839","datavalue":{"value":{"entity-type":"item","numeric-id":3791112,"id":"Q3791112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920871$D04E6A5C-C163-4366-AAD8-4EA87011DD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf680deb1c6b0d5b2de4c1d606ddc37d9af0e80f","datavalue":{"value":{"entity-type":"item","numeric-id":1814494,"id":"Q1814494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920871$1DBCF1B0-51A6-4188-8FBC-0AE9015D9422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8662a6cce0c10212257114bbee8249cb04a44e","datavalue":{"value":{"entity-type":"item","numeric-id":2277245,"id":"Q2277245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920871$C9690265-7F9C-40B9-95EB-2822D3D118DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ceae4f96710f8ebd5d95214b6b7c646cc7859bc","datavalue":{"value":{"entity-type":"item","numeric-id":3778719,"id":"Q3778719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920871$020D9BD6-CC5F-4C74-BEB6-04B876FB9FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b79cd9c1855c4b4e89845a16200b5ef0acb864c","datavalue":{"value":{"entity-type":"item","numeric-id":3889234,"id":"Q3889234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920871$82AB469F-04E6-4737-9E7C-C7FAD60B7788","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75468bdae2b0b31e2ba5aa74e9fd5337163f45f3","datavalue":{"value":{"entity-type":"item","numeric-id":2277245,"id":"Q2277245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0991c2f6c4e0dd1f5276f20f92788619ca4c8a63","datavalue":{"value":{"amount":"+0.900189220905304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1920871$EE918D4E-5796-4B66-BE8B-8385BAA94481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958f95053e0ea54e5d00afc588773a4728e9c9ad","datavalue":{"value":{"entity-type":"item","numeric-id":1280610,"id":"Q1280610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2941d5512750c676e2f590b1efe1d0c9aae1050d","datavalue":{"value":{"amount":"+0.8545994758605957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1920871$ECDF4C01-5174-47FE-BB90-597B605382BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd10af72cd92efb06254ef83c084122b893330d","datavalue":{"value":{"entity-type":"item","numeric-id":3980171,"id":"Q3980171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7739cfb1d85495d7ad9c7b3949119663e6ac09eb","datavalue":{"value":{"amount":"+0.8544683456420898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1920871$5721234E-2F6E-47E9-B4CB-5F09AA2E36A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ca8f617d9febf136101e8ae0c0d3dbfc9c2b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3363834,"id":"Q3363834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1681b7ca88ea7893861848287e41b17b96383956","datavalue":{"value":{"amount":"+0.8399038314819336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1920871$BA9387BC-9059-4726-9D59-649A0ED27D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897b0989011eb8bcea0804ce63b41edf7afe56e0","datavalue":{"value":{"entity-type":"item","numeric-id":1587004,"id":"Q1587004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726b056a57c45e22b48f8347c03e94c835b30c6f","datavalue":{"value":{"amount":"+0.8385027647018433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1920871$6BF24DC4-08A1-4C47-AB35-EBB2047AA481","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Critical theories of supervarieties of the variety of commutative associative rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Critical_theories_of_supervarieties_of_the_variety_of_commutative_associative_rings"}}}}}