{"entities":{"Q1064333":{"pageid":1075085,"ns":120,"title":"Item:Q1064333","lastrevid":66065301,"modified":"2026-04-12T07:18:19Z","type":"item","id":"Q1064333","labels":{"en":{"language":"en","value":"A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3918438"}},"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":"Q1064333$0BCA381C-094C-4EBD-86E0-3978739B7AF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ff574ab5ccd87ee1bfeacf020480e6a043b1191","datavalue":{"value":{"text":"A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1064333$CE2442D6-AA84-4D2E-8470-AC94EF92CD92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7897f3e80f7b3266224374acfec8fc24bca6e07","datavalue":{"value":"0575.06017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064333$51347AD3-EDEB-4F24-8060-6E68D481F443","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b7e174480b14630506de923d3101e86a626fd7e","datavalue":{"value":"10.1007/BF01195146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064333$1E768B5A-2303-45D7-AE90-F521F68B6B3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064333$AE001645-60DF-496B-BB8F-CE3562EC2269","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":"Q1064333$FB1D4A20-FEF7-43B9-B2FE-1C24F0767BA2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1696205697b05daf940047468819e1032aada420","datavalue":{"value":"In [Algebra Logika 6, 45-62 (1967; Zbl 0165.318)], \\textit{Yu. Gurevich} proved that the class of divisible Archimedean lattice-ordered Abelian groups such that the lattice of carriers is an atomic Boolean algebra has hereditarily undecidable first-order lattice theory. The author provides an elegant proof of a weakened version of this result obtained by omitting the restriction ''divisible Archimedean''. Whereas Gurevich's proof depends heavily on constructing appropriate lattice-ordered groups and interpreting the theory of graphs on the natural numbers, the present proof interprets easily the class of Boolean pairs \\(<B,B_ 0,\\subseteq >\\) with B atomic and \\(B_ 0\\subseteq B\\). Since this class has hereditarily undecidable theory [\\textit{S. Burris} and \\textit{R. McKenzie}, Mem. Am. Math. Soc. 246 (1981; Zbl 0483.03019)], the result follows. Unfortunately, Burris' proof cannot be extended to get Gurevich's original theorem. Note: by letting G be divisible in the proof, it does extend to Gurevich's result with only the word ''Archimedean'' omitted.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064333$6415CBBE-27D5-41FA-949A-A81072143988","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064333$BD061839-C212-47F4-BBB3-4FF2D45E49B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064333$8F2B96B1-5773-4A99-96E4-4E05E68B98A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064333$4B9DA77A-ACC9-45A7-B7F2-0EF8184AE0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064333$A468BFF8-D513-4F70-AD41-10AA565973A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96cbe37661adfc5b7b8f5ae377c4df09460d6996","datavalue":{"value":"3918438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064333$964158E0-1AC0-42FC-85E6-CF6F4C36F5B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3fb14e5ce4bda133e887be0b3448a812ab2cb68","datavalue":{"value":"divisible Archimedean lattice-ordered Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064333$9415080E-1B5A-4FBC-9BE7-A8619CFFAB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b0d35541b195496216cc80909d56dc6aa885e8","datavalue":{"value":"atomic Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064333$A94AEB5F-0AF8-4A4F-ABA3-00295AD1DFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e540084d17b7cac62ba0c8228ad10fb8fc58b1d","datavalue":{"value":"hereditarily undecidable first-order lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064333$6743704F-E894-4C99-8C6D-DB83A0B69BCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b586c610b4126dc988da2f2411ac2d994312c53","datavalue":{"value":{"entity-type":"item","numeric-id":1883664,"id":"Q1883664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064333$03B34C00-030B-4B22-8000-C4AD4B89B3B3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"281f61f622ad88f62da56414296e2c40a4498f8e","datavalue":{"value":{"entity-type":"item","numeric-id":251978,"id":"Q251978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064333$FF6BFDC9-B72E-42B0-A862-663440E31B6D","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":"Q1064333$C838AAE6-9004-422F-8245-4F153E53F182","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb773def9d9b85afd4dfa221fc523f7a81c2122","datavalue":{"value":{"entity-type":"item","numeric-id":3941388,"id":"Q3941388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064333$0B376FCF-45F5-4ACB-BDD3-B6C46B3435B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064333$70546BE0-D8FF-4B1C-AE3E-256CB266136E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d640c4169036a6c845a59db3eb602aee0f67ae","datavalue":{"value":{"entity-type":"item","numeric-id":4168953,"id":"Q4168953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064333$8E26C8B4-9671-4B13-8754-7033DA9DB9BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f028febc9534a9c9eec9365e8762358f54149d76","datavalue":{"value":{"entity-type":"item","numeric-id":3680804,"id":"Q3680804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf54bbd05ce51d10013a1e6156a62aa8cf6910d","datavalue":{"value":{"amount":"+0.7573592662811279","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":"Q1064333$69AC6C74-97AD-462A-A171-CBE4285E0183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ab856566d562b0eae063ebc57f1d1f2959160c","datavalue":{"value":{"entity-type":"item","numeric-id":5426004,"id":"Q5426004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e93358478e1b9a5a28d383ac22586a737a3a67b","datavalue":{"value":{"amount":"+0.7553651928901672","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":"Q1064333$175B82C4-2B69-4342-9118-A12776E45316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4e44e1fa54bae7e76af5274e7e8e5e19968656","datavalue":{"value":{"entity-type":"item","numeric-id":1095897,"id":"Q1095897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955b719c9d8e3c7d43b7a2f39828388507db1aaf","datavalue":{"value":{"amount":"+0.7496728301048279","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":"Q1064333$274AE73E-3748-4907-99DD-A846E93CEC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911421e94f74e05dcb65c056555a16ca4c40f8e0","datavalue":{"value":{"entity-type":"item","numeric-id":287483,"id":"Q287483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bab806c697a6307294ebf879cacfb4957d88a1e","datavalue":{"value":{"amount":"+0.7433068752288818","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":"Q1064333$53D2E24F-AB3F-4AE9-B136-1AC50E37F201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c524dab12a6d9fc2e8703e110acbc41bb0134dec","datavalue":{"value":{"entity-type":"item","numeric-id":2277449,"id":"Q2277449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a351fb4f14b6bd9968e323a108692b9377c0c3","datavalue":{"value":{"amount":"+0.740400493144989","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":"Q1064333$8B631E1F-4D2A-491E-8C77-1CC7076A587C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_proof_of_the_hereditary_undecidability_of_the_theory_of_lattice-_ordered_Abelian_groups"}}}}}