{"entities":{"Q762143":{"pageid":763992,"ns":120,"title":"Item:Q762143","lastrevid":64184403,"modified":"2026-04-11T18:11:35Z","type":"item","id":"Q762143","labels":{"en":{"language":"en","value":"The model-theoretic structure of Abelian group rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3887662"}},"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":"Q762143$CD78ADAC-D1C0-4644-9097-C42AC3FCE6DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a57744f0bc9fe20811d52be1580f5f43d5b2520","datavalue":{"value":{"text":"The model-theoretic structure of Abelian group rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762143$EF438CDE-78FD-4E0A-B966-9F0E5EFE38ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3811b9d480a9f1ba96f8946dfae799f829dbf30","datavalue":{"value":"0557.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762143$F85AD4DF-EDE6-4282-B1CE-42C61E0D1465","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"039075ebfa11827fcd0a640154d9c2e976f3cb7f","datavalue":{"value":"10.1016/0168-0072(85)90025-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762143$4516A583-E134-4751-8682-968F928580FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b1fae02461293a958fa7f1e0a2d9bd6990211a9","datavalue":{"value":{"entity-type":"item","numeric-id":762142,"id":"Q762142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762143$4B6105CA-6D72-4086-B286-16CA31555691","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762143$0D13B24D-38CE-400B-B828-612FC3350256","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q762143$5028F85F-1F12-4C57-8827-BF894BF8F730","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1fde8a1a31927633cf9b85f7559d93174d5a6fab","datavalue":{"value":"This paper deals with the relations between the model theory of an abelian group ring K[G] over a field K of characteristic zero and the first order theories of K and G. The main result is that for G torsion free the transcendence degree of K (over Q) is definable in K[G] (Theorem 2.2.1). It is also proved that, for G and H torsion free, K[G]\\(\\equiv K[H]\\) implies \\(G\\equiv H\\). In what follows a field is called G-complete if it contains a primitive n-root of unity whenever G has an element of order n, and G-large if it has a finite algebraic extension which is G- complete. If G is torsion and K is G-large then K[G]\\(\\equiv F[G]\\) iff \\(K\\equiv F\\). If G is torsion and K is G-complete then K[G]\\(\\equiv K[H]\\) iff K is H-complete, H is torsion and both groups have the same number of elements.    Remark: \\textit{Anne Bauval} has proved the following generalisation of Theorem 2.2.1 which covers also the case of polynomial rings: the weak second-order theory of K is (uniformly) interpretable in K[G] for every nontrivial commutative totally orderable monoid G [''Polynomial rings and weak second-order logic'', J. Symb. Logic (to appear)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q762143$38860659-6732-4BE0-AFE0-4DA764F840CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762143$7803E8FB-AD51-425A-925D-42058CCFEE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762143$FCE60EEB-5878-4FCC-A0AB-426BFE0E640A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762143$E19AC598-188B-4ABA-9944-60CE9D2BF90E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47600c71dcab83febd0fc4eccf9f4a064f87c33b","datavalue":{"value":"3887662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762143$E8E17F5B-01F3-41C0-BD4C-EE5201EDA437","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc366e41e85912ecc2674372767316dcd090b85","datavalue":{"value":"abelian group ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q762143$98375AC9-A04F-40F7-855A-88B776525F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d17d010388cb04935f92af523f2efa4c0132548","datavalue":{"value":"first order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q762143$170233DE-86B2-4ED7-BC5C-6DB848A57092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"324d0cb51641b0e078eab73714d5298f10ee9892","datavalue":{"value":"transcendence degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q762143$E06FA37F-F305-4503-81C0-6D31A0268D73","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfea56292579072863c42a6e983fef653b45e536","datavalue":{"value":{"entity-type":"item","numeric-id":1391738,"id":"Q1391738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762143$930B9AE6-D6CE-489D-8498-8B63F6547949","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":"Q762143$BA818F7E-AA49-4FD9-A173-A4372046D39E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2115d638f72c2966f4eba4805d3499fe167003e7","datavalue":{"value":"https://doi.org/10.1016/0168-0072(85)90025-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q762143$884FCBDE-2208-405D-9B95-856975826C0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17754af4fe7c7986898ad0aae6a94cb85608fa08","datavalue":{"value":"W1972474496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762143$B89DE6EA-CBDE-4B61-AC67-2C7EC855318F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"689cd1cc8ed8792f7a6af74a2598b4d786d41cec","datavalue":{"value":{"entity-type":"item","numeric-id":5788426,"id":"Q5788426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762143$773A8A7D-1782-463B-BC31-4E662CB37510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5218a24130b4aa5afd6bc029ad837bf70fcffa44","datavalue":{"value":{"entity-type":"item","numeric-id":4109641,"id":"Q4109641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762143$D07BE8AE-8645-4C4C-B8A7-E5663D0154E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd6f1da05a0a7a3673dc86183d093b767e86528","datavalue":{"value":{"entity-type":"item","numeric-id":2556856,"id":"Q2556856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762143$F170F436-1697-4271-A1D1-A41F23C6FE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca7f57e494e6728d0e14c05673b84857a515e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4141937,"id":"Q4141937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762143$90CA073F-AB5D-4FEE-962B-0C63C39DA2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d518bde43115194b3edd1c343f646eab4b68155d","datavalue":{"value":{"entity-type":"item","numeric-id":5531086,"id":"Q5531086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762143$FA743C98-6DD3-4524-9C4D-4208CF577635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a74185d4e754a112129e3de2db9fe123d56b7f1","datavalue":{"value":{"entity-type":"item","numeric-id":1222162,"id":"Q1222162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762143$3F30DCD1-D6DE-4739-BD9F-D7E404C00D6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a307d6fa07612aca27bbafaa185a064056b6591","datavalue":{"value":{"entity-type":"item","numeric-id":4258030,"id":"Q4258030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ae22e72d5e52da070417dee68e0271d7345bea","datavalue":{"value":{"amount":"+0.94554377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762143$446F8324-FF7E-4216-8291-89C8A00C1255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e304bef41bbcb36b398d68b33acb8a0f1305b7f","datavalue":{"value":{"entity-type":"item","numeric-id":3726098,"id":"Q3726098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f4414444c7ee2ded7fa1ce2c56fd72ca1175f7","datavalue":{"value":{"amount":"+0.92651385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762143$0EB8F48A-AC5D-4550-A0BC-9D9C73541CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0397a1b17ced08a9e55a09fbaa744838448f0f","datavalue":{"value":{"entity-type":"item","numeric-id":579238,"id":"Q579238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f274a994e8cc6bb5d8a2cbbb351a7fe3cbb2e0","datavalue":{"value":{"amount":"+0.9206381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762143$99B34912-D135-49CD-A50D-00F500704F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8199688d3534f9507a63d65dac79d9d94842dfc0","datavalue":{"value":{"entity-type":"item","numeric-id":4333324,"id":"Q4333324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db64d127c0c16deebcea66ae10954776abae9c7","datavalue":{"value":{"amount":"+0.91370416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762143$F71795F5-DE10-471C-BDBA-1F4E34370AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a17fb5a2975cb56a8c3da194918a09caccaf8c","datavalue":{"value":{"entity-type":"item","numeric-id":4304158,"id":"Q4304158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fd29e0f1899dea81ae02d9c5e08a9ec06c9d2a","datavalue":{"value":{"amount":"+0.913034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762143$719EB034-873A-4A50-9B65-1FFF9302CADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a980e71179205abd861fa6fdf6185eb724090f","datavalue":{"value":{"entity-type":"item","numeric-id":3107361,"id":"Q3107361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0683ed539c28acaf604c0410c5ec85a9b05e9cb2","datavalue":{"value":{"amount":"+0.9096695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762143$86CDA8F7-5015-4F8B-BDA0-9BF125B2691C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b478358eab729ee84ab115429f369259adcd060","datavalue":{"value":{"entity-type":"item","numeric-id":4023173,"id":"Q4023173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786d8cb925263792bbf5cf6b7143904168a6b896","datavalue":{"value":{"amount":"+0.90443516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762143$28CFA327-B11D-4A07-9BDB-DC70B9BEDA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b76f41dfe0a9cc28355b28cc43e89280c76acbf","datavalue":{"value":{"entity-type":"item","numeric-id":5184895,"id":"Q5184895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9decf8507ca03fb6e37b831dce3a08efb82cad66","datavalue":{"value":{"amount":"+0.90073454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762143$C47401A8-68A4-4D89-94AC-E8EDB427513A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650d23d73f6a20d072c05bdd45e16d661a1e5875","datavalue":{"value":{"entity-type":"item","numeric-id":6076546,"id":"Q6076546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcd07bfcfe99fd2a4ca7c77320e3a1196818c5a","datavalue":{"value":{"amount":"+0.90027505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762143$B5FC8839-07E6-4DC3-B2B7-93A35DE2AFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8ae72ed6173ef70bb25ca4e2d22a0c6b63d379","datavalue":{"value":{"entity-type":"item","numeric-id":3778174,"id":"Q3778174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e880ac3d28b45cbc3292298cd93c16d67bfe471","datavalue":{"value":{"amount":"+0.89771307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q762143$1CDEB92A-CE19-42C8-8C48-1A8DEA9A2042","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The model-theoretic structure of Abelian group rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_model-theoretic_structure_of_Abelian_group_rings"}}}}}