{"entities":{"Q987183":{"pageid":989031,"ns":120,"title":"Item:Q987183","lastrevid":51055310,"modified":"2026-01-16T10:18:14Z","type":"item","id":"Q987183","labels":{"en":{"language":"en","value":"Solvable covers of the Boolean variety of unital \\(\\ell \\)-groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5770087"}},"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":"Q987183$792797B3-F838-4F47-93B4-B2745883F3CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ffbf55945a4d90aaccda28dcafcd7d71215fd76","datavalue":{"value":{"text":"Solvable covers of the Boolean variety of unital \\(\\ell \\)-groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987183$00CF254A-13BD-484D-A821-8B3CFA2D3CF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d8bd5d4442ce2a4a27b81ccd330496d9f0d44ef","datavalue":{"value":"1209.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987183$76951FCD-920A-49C8-9F15-013D3BA15ACA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f96c63e13b0a739bc73380e84ad27461496bd7","datavalue":{"value":{"entity-type":"item","numeric-id":382344,"id":"Q382344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$26835A64-7EF3-46A2-B7EC-FAE63BB35C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90929c5ae9fe72a300f6db979e6346ff9c86db33","datavalue":{"value":{"entity-type":"item","numeric-id":382345,"id":"Q382345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$864C57D0-1AC7-418A-BF55-D02D5DC12A13","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":"Q987183$44472A56-9BB3-49A0-B76E-CA7CB0CA1576","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"829d55f1ec544e7d684ffd95ef09a9fd350e7c82","datavalue":{"value":{"time":"+2010-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987183$09676663-041E-40CD-859A-B8C665B9913A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43246e595ac8ea24efff2bc6ea2672b87d4e47af","datavalue":{"value":"GMV-algebras, also known as pseudo MV-algebras or \\(\\Psi\\)MV-algebras, were introduced by Georgescu and Iorgulescu, and, independently, by Rach\u016fnek, as a noncommutative generalization of MV-algebras -- the algebras of infinite-valued \u0141ukasiewicz logic. GMV-algebras are categorically equivalent to unital lattice-ordered groups (unital \\(\\ell\\)-groups for short). The connecting functor was introduced by \\textit{A. Dvure\u010denskij} in [J. Aust. Math. Soc. 72, No. 3, 427--445 (2002; Zbl 1027.06014)]. This functor extends the categorical equivalence \\(\\Gamma\\) between abelian unital lattice-ordered groups and MV-algebras, introduced in the present reviewer's article [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)]. One can thus speak of ``varieties'' of unital \\(\\ell\\)-groups, despite the Archimedean property of the order-unit in an \\(\\ell\\)-group is not even definable in first-order logic.  In the paper under review the authors give a characterization of all varieties of solvable unital \\(\\ell\\)-groups which cover the minimal nontrivial variety of Boolean unital \\(\\ell\\)-groups, corresponding to the subvariety of GMV-algebras consisting of Boolean algebras. Their work parallels the Gurchenkov-Reilly-Darnel work on varieties of solvable \\(\\ell\\)-groups covering the abelian variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q987183$BDC6864F-21A6-4C54-8B65-A2772D628BD0","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":"Q987183$7A49F89F-005D-48ED-8B62-42BDE2E0DA95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987183$52A0402B-C481-41BB-B534-EC51C6A005B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987183$10E38B5E-D188-44EB-9847-E6DA9B44353B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987183$0F5DBEB7-13BB-45D6-92C5-78C69BD29CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987183$62D746DF-29DE-4661-A597-11F500894D9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c102a8f6552e2713354614bd831584e9b0ba2ba","datavalue":{"value":"5770087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987183$0872055A-48B3-4613-84DA-A8A36207D7FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q987183$19C6EC08-103E-438B-85D0-A6C771394636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3863d3bf766383044898bfb3ac3f54f5395d6b","datavalue":{"value":"\\(\\Psi\\)MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q987183$0623C92B-8C8D-49FA-9FEA-F15D4A65F49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53a939efa4136e8ee2a56b48588a22f1638fcabe","datavalue":{"value":"pseudo MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q987183$A85187BB-C1B7-4BA6-8224-7A99DB7E1065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba8d52f0a82bcfa881e908875254b183ea4a812","datavalue":{"value":"cover variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q987183$ACCC08FD-1489-4519-8A38-2199A12F6043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a70e3e2ba3c9e5fd377589846b190984d0690d5d","datavalue":{"value":"unital \\(\\ell\\)-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q987183$DAB36D95-D6C3-443B-81F2-B1F6EFA8CFA3","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":"Q987183$4B54B428-3C01-4B3E-9439-D3F5CE3D1231","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0eb11539dfaa9bdbf64b89153a9a0c7cdc1dc76a","datavalue":{"value":"https://doi.org/10.1007/s00012-010-0052-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q987183$A10598D5-D5E5-4BB2-8502-A182271C54B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6bda4a25359af2a6922843818bf02b24e31b145","datavalue":{"value":"W2028863687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987183$ABD50890-FC96-4B83-AE6E-11C484C6E74F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c5be0a169b92fba32fe164011886404dce456f","datavalue":{"value":{"entity-type":"item","numeric-id":581437,"id":"Q581437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$E5D3F6AF-B51C-4A31-98AB-DBB46A444411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d80ec95e85610e6e8f0705dc36c540fed75d332","datavalue":{"value":{"entity-type":"item","numeric-id":4317872,"id":"Q4317872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$E87C19C9-18F2-4CE0-9D1E-B7A2228C3269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abda9608fb10b5dbd38c26621b43a6d115942774","datavalue":{"value":{"entity-type":"item","numeric-id":5287610,"id":"Q5287610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$E222FA95-3E6D-4BC1-82EA-4673AED70941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658e58d24c242b57ceffc8ac4074fb3b3b46b127","datavalue":{"value":{"entity-type":"item","numeric-id":4805459,"id":"Q4805459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$E6A54688-4C85-4ED8-8BDA-E84A7B0A4591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002af1aebac8b4b844a73aaab470c55b58f1a3a","datavalue":{"value":{"entity-type":"item","numeric-id":5432593,"id":"Q5432593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$E6C5D586-514C-4FCD-8FC8-50532A122802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3f3c0c3c4ea63e81ba8e86d81f33367c93e77c","datavalue":{"value":{"entity-type":"item","numeric-id":1838988,"id":"Q1838988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$A647EB55-A131-4F91-8A1E-5C60A83379AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fd1021042d4553b2494deccc10a50d8af7e117","datavalue":{"value":{"entity-type":"item","numeric-id":5701826,"id":"Q5701826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$B470AFC6-E71B-4838-BE73-ACC4B7F1336E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc2025b602686e076b8d299467a3b8bc75c947d","datavalue":{"value":{"entity-type":"item","numeric-id":3939781,"id":"Q3939781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$6276BF7A-579C-4631-A694-4FC352A6DEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3eee7316eac0e40d06fead3ba22be2b45c73af6","datavalue":{"value":{"entity-type":"item","numeric-id":1252875,"id":"Q1252875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$47BADF22-A1FC-46CE-A297-6869D50E20AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4aae5b35a986d6160145a12879818eed4ac98e3","datavalue":{"value":{"entity-type":"item","numeric-id":1079157,"id":"Q1079157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$3596166F-522B-45F5-A794-601662255439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef712283c512ad336c79fa14effb04f5d78f4682","datavalue":{"value":{"entity-type":"item","numeric-id":1821130,"id":"Q1821130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$7D94F080-0DF7-4CED-BCB9-C5870ED8FEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388abfa2b7016304b0eafce539c550e3f0fd4ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4071287,"id":"Q4071287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987183$115CE26D-2001-4BBD-9B64-303EC8D28ACC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b042e27281cbb900a66137d631c0946c9cacdafc","datavalue":{"value":"10.1007/S00012-010-0052-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987183$3D3652C1-E89A-4335-98D0-223B6008EF90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1da1cafdc88d404a1dccbc46083274b49856244","datavalue":{"value":{"entity-type":"item","numeric-id":382346,"id":"Q382346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9640c360a8c6a215abf765039891d99bd027b0","datavalue":{"value":{"amount":"+0.8667029738426208","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":"Q987183$AF8DCF2C-684D-47A7-A2F3-318012356A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113796b3f16aa68ee6a7f66d7fd60e8da007beac","datavalue":{"value":{"entity-type":"item","numeric-id":5287610,"id":"Q5287610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393976450756c33145201ed4e3f2f9a06783f5bf","datavalue":{"value":{"amount":"+0.854021430015564","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":"Q987183$4B49F2D1-1BBE-4B28-AD23-59C40AC26283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e319b3827b7d0ef7402432b333a5f1455ced99e","datavalue":{"value":{"entity-type":"item","numeric-id":797609,"id":"Q797609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28525001a99e78d63ab7ef3072d8d7d4ad8a4185","datavalue":{"value":{"amount":"+0.8372777104377747","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":"Q987183$B356A591-4371-4603-9822-1000D2347BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4398867a3b17a16bbbcccfcbfa7968ac348de4b3","datavalue":{"value":{"entity-type":"item","numeric-id":3758902,"id":"Q3758902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ec7e9eff7fdfcc68739f576a574e3667c7b1eb","datavalue":{"value":{"amount":"+0.8346683382987976","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":"Q987183$9AFB19FD-2A43-497C-9FE1-F3C152270A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78d2a21e0a237df409c418e74b1fa5e3aa15d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":1821130,"id":"Q1821130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc39594df34866de03c3a2f1abd9a14523789ac2","datavalue":{"value":{"amount":"+0.8166877031326294","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":"Q987183$166378B1-5B64-4789-9D27-DC31EB20F6EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:987183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:987183"}}}}}