{"entities":{"Q1280689":{"pageid":1291439,"ns":120,"title":"Item:Q1280689","lastrevid":68361297,"modified":"2026-04-12T23:11:42Z","type":"item","id":"Q1280689","labels":{"en":{"language":"en","value":"Undecidability of the elementary theory of groups of measure-preserving transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1262565"}},"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":"Q1280689$F5DD1A15-2B89-4C19-80D8-69BCACA7094A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d9fa39d7aa0cd9eca08e118629d3eebbc2f01a3","datavalue":{"value":{"text":"Undecidability of the elementary theory of groups of measure-preserving transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1280689$F4272110-8885-4731-AB56-0B6563D0566A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98f7679ef291615e53c8ebbaf643c0c2934635db","datavalue":{"value":"0920.28014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280689$4DD800BD-7445-426B-B374-9FDE8BF45AC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c72c2b5011e62af8f55994badf08398e1be86520","datavalue":{"value":"10.1007/BF02317783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280689$71BDED03-79AC-4693-9514-8474BC52A2DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280689$61991F60-04A7-4B59-BB36-B7FD058C5311","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fba28f1c812ee6102c33d263da80f64a564a8a22","datavalue":{"value":{"time":"+1999-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1280689$FA97929A-98D5-4874-ACFE-49188480F787","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2bf0619416c212a1f9d373cb60dbeb3090277bcb","datavalue":{"value":"Let \\(G\\) be the group of invertible transformations of \\((0,1)\\) preserving the Lebesgue measure. Two transformations are equal if they differ only on a set of measure zero. Let \\(L\\) be the language of group theory containing variables \\(f,g,\\ldots\\) for elements of the group, the group product \\(fg\\) (composition), the equality \\(f=g\\), connectives and quantifiers. Theorem: There is a translation (effective procedure) that for any closed arithmetic formula produces a closed formula in \\(L\\) which is true if and only if the arithmetic formula is. Corollary: The elementary theory of groups of measure-preserving transformations is nonsolvable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280689$25D8F298-B867-41D8-BF4E-5726F0FA112E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b34f18e8d99dc84abe1e08b84b797ef7b1807530","datavalue":{"value":"28D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280689$29ADF6A9-D6E7-4342-91DA-0ED853DAB452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280689$8951E5C0-F53D-4088-A1EA-A2793CD985E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"727fb90f2c9b82f712333942fe42a50d7299d442","datavalue":{"value":"1262565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280689$4BDE53DC-75FF-43E4-9188-59421691C30F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f3b22e81b5f2647577f740c226ddddbf4ac4890","datavalue":{"value":"group of measure-preserving transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280689$F3F05C42-B119-4A70-8210-ED4A091E2388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4232ddba06efb74a0e1ea925524eedd37eb56681","datavalue":{"value":"nonsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280689$CA7AFA37-6192-4102-9C02-A3747924F487","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3724e26533a2f5ee64d190f5d7a722d6855bbe91","datavalue":{"value":{"entity-type":"item","numeric-id":1578092,"id":"Q1578092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280689$29FA962C-DE63-402B-BC6D-C952EB8B644D","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":"Q1280689$B006E1A1-4524-4A4C-9F8D-A24AE81FDF11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34005d19b5cb0065dd18a2ad50bee873b91ccea7","datavalue":{"value":{"entity-type":"item","numeric-id":3234755,"id":"Q3234755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280689$8863164E-3637-4BC0-B03D-751FD09F5D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa68925e004b8d280988172b3d303148917aa26a","datavalue":{"value":{"entity-type":"item","numeric-id":1246055,"id":"Q1246055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280689$DF5C6D7E-09AC-44DB-BF3B-C936D8FF8185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa2bd30ab95f9a7eda851a546751bd90ba96a02","datavalue":{"value":{"entity-type":"item","numeric-id":1082468,"id":"Q1082468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280689$36AA3E6C-EC25-4DC6-8AC2-25BC4CA1598F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b866bba96ae151ad3a477a3bb46c2f09c1a0b68","datavalue":{"value":{"entity-type":"item","numeric-id":5596785,"id":"Q5596785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280689$FA61B4EE-D402-4E70-BDE8-FE3E9271CC7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1cd6c1be42280bb17568bc00a5ecf069454a36","datavalue":{"value":{"entity-type":"item","numeric-id":4884291,"id":"Q4884291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3604b9e1d71398e395549c8a6b08fa4c40b62386","datavalue":{"value":{"amount":"+0.8899794220924377","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":"Q1280689$E4B39004-922C-443F-8E78-CDBD4C1689B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd012d61ab7fcb47847a2c881c1a083e7d2eaaf9","datavalue":{"value":{"entity-type":"item","numeric-id":3699072,"id":"Q3699072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0346a017c3f20220f3e5611ba076e4456f65609d","datavalue":{"value":{"amount":"+0.7744780778884888","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":"Q1280689$561F7857-38E0-43FC-A596-4D93AD3EAD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c10b38f193bbc866b1a48541e1615fda27f5914e","datavalue":{"value":{"entity-type":"item","numeric-id":4851407,"id":"Q4851407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fe3bf8080749dea3a1e6f4c47c1441479ade65","datavalue":{"value":{"amount":"+0.7516385912895203","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":"Q1280689$4642DC15-7BD3-4AA0-AF20-42C7C457AC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49906bdb12bdb178e12cb678d2e2dbe6e9cfbfc3","datavalue":{"value":{"entity-type":"item","numeric-id":699745,"id":"Q699745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36b10f7bf84b2d6a65bbd2792bdf58716118f48","datavalue":{"value":{"amount":"+0.7481895089149475","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":"Q1280689$04D619CA-3C9D-4E88-8ED2-364CDC11C282","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of the elementary theory of groups of measure-preserving transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_the_elementary_theory_of_groups_of_measure-preserving_transformations"}}}}}