{"entities":{"Q2813678":{"pageid":2824416,"ns":120,"title":"Item:Q2813678","lastrevid":83560151,"modified":"2026-05-07T08:54:59Z","type":"item","id":"Q2813678","labels":{"en":{"language":"en","value":"On free MV algebras and a problem of Tarski"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6598145"}},"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":"Q2813678$A4CE144F-582B-4929-82EB-BCD0B303D056","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1be9428d0e6f6095e99462b7fe07d7b0fba6f7b5","datavalue":{"value":{"text":"On free MV algebras and a problem of Tarski","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2813678$2115D115-61EB-4224-B91A-E4523A318D05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fceb81f1aa72014cab9c661fbcf83f085e0c868d","datavalue":{"value":"1360.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813678$5B8182F6-6858-4175-ADFC-CDC9E7D7EF74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98a161c6563f600d55e948240633b52c1bed8c02","datavalue":{"value":{"entity-type":"item","numeric-id":234287,"id":"Q234287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813678$BB1EA5A2-5E03-4361-ACB3-BF7ACD285024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24a57d77aefd8460dbb03e9524615c44c518008","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813678$A0C5574C-B11E-4EFE-A94E-35542FFCF261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f33bb4c3643b971ea9727fa3edb4f018e0c7024b","datavalue":{"value":{"entity-type":"item","numeric-id":780195,"id":"Q780195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813678$CD6F24DC-D18C-4C7C-8688-22111535B08B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9d6952a7603f551cb4d5517360c8c4c3bf4d91a","datavalue":{"value":{"time":"+2016-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2813678$14ED1420-C797-4181-98D4-55D4D68EA254","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813678$89BE4A92-513C-4398-972D-10D8504E261D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813678$F185DFCC-0C17-4B0B-AE68-1C727DFB56E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813678$B003BF24-D55F-41F5-A45B-AFDB94339FFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc11a45199e1e15d28188685eb023bedbe04acfa","datavalue":{"value":"6598145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813678$E5BF8E27-A629-4634-B7C9-1FA11FEBDBD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a62b64e8c37a417d2f0605e78aa41046c8b4bb","datavalue":{"value":"MV algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813678$B0217851-21CF-4D35-B8BE-C94F2E8E8E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67586c4ac526fb948943fa9be90b82f1bb5f9a73","datavalue":{"value":"free MV algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813678$FC7CEF15-2B9D-4858-8984-3969F0AC6676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813678$8089AA5B-C07F-47E1-A8EE-3C24BA19D8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84077f3cb854e27e92618d2c414460cc3cb9136b","datavalue":{"value":"Tarski problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813678$BA6CEDF0-1DB4-406D-90C8-6362500A192A","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":"Q2813678$A18AF220-0A19-4860-B493-4DE444719E8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a5b5eb78fd5772f838c8cfd4581839b7aa832bf","datavalue":{"value":"https://doi.org/10.1002/malq.201400106","type":"string"},"datatype":"url"},"type":"statement","id":"Q2813678$EC95BE14-C42D-4EA9-92B6-72B43F71CBAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c1ea90cd9314a69327ded28437a468e30b77c0a","datavalue":{"value":"W2343405291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813678$609B92C7-C1B1-4608-A932-AE72AEB16B38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"767f9d3f8e3f19dc3124d217475af792bc9916cd","datavalue":{"value":{"entity-type":"item","numeric-id":5539947,"id":"Q5539947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813678$2149BBB0-FC01-435B-8A8B-02F15FD2E143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024ceacef20630dcfc833e3dfb1447d4af15581b","datavalue":{"value":{"entity-type":"item","numeric-id":4067157,"id":"Q4067157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813678$12535749-89C3-4F58-94D7-25862CE4DA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3894de506e1ed7db182147a9f5bef3413ea24e","datavalue":{"value":{"entity-type":"item","numeric-id":4134027,"id":"Q4134027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813678$D588E186-507D-4D79-A997-3B18CD27E096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4165e01bd479409d893b62d9d3bdab0ef2334ffa","datavalue":{"value":{"entity-type":"item","numeric-id":556825,"id":"Q556825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813678$31DD0974-F20D-4D9F-BD19-C32BD57AFA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49585943064555200fbba8c00e795c8666ca0c","datavalue":{"value":{"entity-type":"item","numeric-id":855727,"id":"Q855727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813678$3C585643-50A3-4E8C-BB88-39DEDB827FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a46767f4871cc556210cf3933b2a322ed5ed2e4","datavalue":{"value":{"entity-type":"item","numeric-id":2501184,"id":"Q2501184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813678$F7AE6765-9E98-4425-BF16-03BCD539D5A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f35a5e443535b1becca8446764a724eb802ebfd4","datavalue":{"value":"10.1002/MALQ.201400106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813678$C24C5B70-B10C-448F-B8B1-A05F885BE219","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813678$D960B72C-07BD-47FC-A01E-35D0CE2F1BB2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb10a43d27051ca16ac0e0e7d3f5a2f050a92f91","datavalue":{"value":"MV algebras stand to \u0141ukasiewicz infinite-valued logic as Boolean algebras stand to classical logic. They form an equational class and, by the present reviewer's result in his paper [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)], MV algebras are categorically equivalent to lattice-ordered abelian groups with a distinguished order unit. Let \\(T_k\\) be the first-order theory of free MV-algebras over \\(k\\) free generators. In the paper under review, the authors prove that \\(T_k\\neq T_h\\) for \\(k\\neq h\\). This is a reminiscent of Tarski's problem for free groups of different rank. \\textit{Z. Sela} solved this problem in his paper [Geom. Funct. Anal. 16, No. 3, 707--730 (2006; Zbl 1118.20035)].NEWLINENEWLINEFor background on MV-algebras see [\\textit{R. L. O. Cignoli} et al., Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)]. For advanced topics see the present reviewer's monograph [Advanced \u0141ukasiewicz calculus and MV-algebras. Berlin: Springer (2011; Zbl 1235.03002)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813678$E9F2BA8F-CB33-415D-9906-A5B13A7D148B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813678$A797908B-E828-444F-A0FB-242728FBE10E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e21727701b2955ab99fdbf2be378194af966ba","datavalue":{"value":{"entity-type":"item","numeric-id":2577712,"id":"Q2577712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e182e402879b681eb03c052c0f787b1750fb37","datavalue":{"value":{"amount":"+0.7801790833473206","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":"Q2813678$C17C1D4C-892C-4662-8982-E5A893FE88F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c206f1477ddab5dcafe36641b28172456842b947","datavalue":{"value":{"entity-type":"item","numeric-id":4835612,"id":"Q4835612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded137d138f20196b9c457ba89f2a9248c1d8fcc","datavalue":{"value":{"amount":"+0.7782219648361206","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":"Q2813678$40C69D0B-A64F-4C75-985D-56C661C99617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204f642a429c4c77fbb4061a2672b17caea8781d","datavalue":{"value":{"entity-type":"item","numeric-id":4258028,"id":"Q4258028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded137d138f20196b9c457ba89f2a9248c1d8fcc","datavalue":{"value":{"amount":"+0.7782219648361206","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":"Q2813678$469A4F77-1A21-4137-BDB4-281BB560C48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce51b899a78ae202bcd62812936bcf31e6e7e80","datavalue":{"value":{"entity-type":"item","numeric-id":1057270,"id":"Q1057270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4367a01e59aba5e589be95c114424eb5386f47c","datavalue":{"value":{"amount":"+0.7763462066650391","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":"Q2813678$2A53B6B8-D799-4BA4-BF47-9B7BC6AC099C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee61a18d8890482e16a18380b56c2ccdea79f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5954118,"id":"Q5954118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b47ad3208b0982c47485877abde9f74427b155","datavalue":{"value":{"amount":"+0.769619345664978","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":"Q2813678$F65D7850-E0AA-4577-9583-7AC8194F489E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On free MV algebras and a problem of Tarski","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_free_MV_algebras_and_a_problem_of_Tarski"}}}}}