{"entities":{"Q998758":{"pageid":1000606,"ns":120,"title":"Item:Q998758","lastrevid":50555465,"modified":"2026-01-14T09:30:14Z","type":"item","id":"Q998758","labels":{"en":{"language":"en","value":"Completions of GBL-algebras: negative results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5500439"}},"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":"Q998758$33ADBBA9-3753-4963-B4C7-E6161BCBC746","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"709c52ee2839847dfade43399c86148e208f9e9c","datavalue":{"value":{"text":"Completions of GBL-algebras: negative results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q998758$A3A604A6-05BB-4D41-8807-1A53B5E8BDE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"623d749aff6dbeec21bc801471fab2c7567814b0","datavalue":{"value":"1161.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998758$D6DC0E2F-345B-405F-A8A0-FBECD3261D17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241d91eac26be9dafce27577b0d1f937fbd531b1","datavalue":{"value":{"entity-type":"item","numeric-id":353354,"id":"Q353354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998758$7B49465D-2EB6-421C-A0FF-A5065845C161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d9c71379638878987f3550595bc014dcf04816","datavalue":{"value":{"entity-type":"item","numeric-id":299189,"id":"Q299189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998758$9C07A871-180B-48DF-B246-859CA837F050","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":"Q998758$3A0315A4-5A8B-4239-A931-8F4C77A90F32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb6acab23889a0ed3b92367ee7861f8c14e06ffc","datavalue":{"value":{"time":"+2009-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q998758$E41C62DE-C7EE-4BC5-8E6B-07597B0DD156","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"42bd7881cb610d59f968d214c5b53609fb18e972","datavalue":{"value":"In this paper, the authors give a negative answer to the problem of existence of a completion of GBL-algebras.  The notions used in the paper are first of all presented. The notion of completion used in the paper is a generalization of closure under MacNeille completions and closure under canonical extensions. A variety of lattice-based algebras \\(V\\) is said to admit completions if for every \\(A\\in V\\) there is a lattice-complete \\(B\\in V\\) and an embedding \\(f:A\\rightarrow B\\). A residuated lattice is a structure \\((A,\\wedge,\\vee,\\cdot,\\,/,1)\\) such that \\((A,\\wedge,\\vee)\\) is a lattice, \\((A,\\cdot,1)\\) is a monoid and the residuation law is satisfied: \\(x\\cdot y\\leq z\\) iff \\(y\\leq x \\backslash z\\) iff \\(x\\leq z/y\\). A generalized BL-algebra (GBL-algebra) is a residuated lattice satisfying the divisibility law: \\(x[x\\backslash (x\\wedge y)]=x\\wedge y=[(x\\wedge y)/x]x\\). If \\(L\\) is a (pointed) GBL-algebra and \\(A,B\\subseteq L\\) satisfying the properties: (1) \\(B\\) is a nonprincipal ideal without supremum in \\(L\\); (2) \\(B<A\\), i.e., for each \\(a\\in A\\) and \\(b\\in B\\) we have \\(b<a\\); (3) there are elements \\(w,u\\in B\\) with \\(w<u\\) such that \\(b\\backslash u\\in A\\) for all \\(b\\in B\\), and (3a) for each \\(a\\in A\\) there is \\(b\\in B\\) with \\(b\\backslash u \\leq a\\), for each \\(b\\in B\\) there is \\(a\\in A\\) with \\(ba\\leq w\\), then \\((B,A)\\) is called a residuation discontinuity and \\(L\\) is called a discontinuous GBL-algebra. The main results of the paper are the following:  Theorem (Completion Discontinuity). No variety of (pointed) GBL-algebras containing a discontinuous GBL-algebra admits local completions.  Theorem. For a variety \\(V\\) of MV-algebras the following are equivalent: \\((1)\\) \\(V\\) admits completions; \\((2)\\) \\(V\\) is canonical; \\((3)\\) \\(V\\) is locally finite; \\((4)\\) \\(V\\) is finitely generated; \\((5)\\) \\(V\\) is \\(n\\)-potent for some \\(n\\in \\omega\\).  Define the algebra \\(I=({\\mathbb Z} \\times {\\mathbb Z}, \\wedge, \\vee, \\cdot,\\rightarrow, (0,0))\\) where \\(\\wedge\\) and \\(\\vee\\) are, respectively, the minimum and maximum with respect to the lexicographic order and \\((x_1,x_2)\\cdot (y_1,y_2):= (x_1+y_1,x_2+y_2)\\), \\((x_1,x_2)\\rightarrow (y_1,y_2):= (-x_1+y_1,-x_2+y_2)\\).  Theorem. The algebra \\(I\\) is a is a discontinuous GBL-algebra. Thus, no nontrivial variety of \\(\\ell\\)-groups admits (local) completions.  Theorem. No square-increasing GBL-algebra (i.e., those satisfying \\(x\\leq x^2\\)) is discontinuous.  We conclude that the reviewed paper contains very interesting results and it can be a starting point for future studies.","type":"string"},"datatype":"string"},"type":"statement","id":"Q998758$B1F5B803-436D-4CCB-BF9C-18EF12241A4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998758$6DB900D0-2752-47C7-A983-51E850F34375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998758$762FDD13-4692-4BB1-8663-E0F7AFDFCFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998758$2456A36E-5039-4557-BEE7-1F853D0DB7D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da07e5647b1418a906515ca96e01de9432bee531","datavalue":{"value":"5500439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998758$D5C31C2D-05ED-4092-A727-30446AD9F7E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a0469e5d9a2de1a01598586e4d14ee0d8ea929","datavalue":{"value":"completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q998758$785E81A1-276D-466A-A7E5-2CC4E3349B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q998758$2B7200BC-AEED-454E-B85A-D29575DDB29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q998758$572DB49E-E0A0-494B-B323-7F7BF5D374BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a993c44ee7a170fe20ad50759945859677a0e5","datavalue":{"value":"BL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q998758$201F7370-AB7F-4E17-97B4-93AC7B876E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b7f36ec3174a01645136e366a2aee6e3dd9fdf","datavalue":{"value":"\\(l\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q998758$E79B626D-4471-48FD-B1CB-4894DE980AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q998758$B6B3C1CA-2603-4280-8F70-6BF971D81163","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39d03bc5e4b5d8bfd4455ed0ba4cd34fb8b2de21","datavalue":{"value":{"entity-type":"item","numeric-id":344088,"id":"Q344088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998758$7CBF8C33-1909-4D41-B39C-F032A7D38E17","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":"Q998758$6275DFB9-3D66-4CA5-B96E-A8322C0556A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39b0ca71fdbac3d6dcc8c43450190ea39c9c2fe9","datavalue":{"value":"https://doi.org/10.1007/s00012-008-2056-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q998758$758BA429-66A4-4DA2-86B1-391708F2BCE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7c066edab3c792b2dfccc5bbb3398a9a4678a1d","datavalue":{"value":"W1988093503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998758$0D7D55E0-35CE-40ED-B209-8246723E9128","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab4e246ccdca0f1a601a0694da305f38d2e8d7fb","datavalue":{"value":"10.1007/S00012-008-2056-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998758$2E7CFB40-660B-4941-8A6E-51EC4E7A1E96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e6b0a20c197d4790d0b4a72465e255c55ce7b6","datavalue":{"value":{"entity-type":"item","numeric-id":4583679,"id":"Q4583679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35333983ef1e41a666b5f3fb399b2f50d3bb1fae","datavalue":{"value":{"amount":"+0.7976006865501404","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":"Q998758$CECB760E-AF3B-4133-80A2-319A4C136DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c632a6ed17e6dddf7d1484427aa68b00c257279","datavalue":{"value":{"entity-type":"item","numeric-id":3638276,"id":"Q3638276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519ef94844c4491098e3dc694fa31f2d33757407","datavalue":{"value":{"amount":"+0.7708691954612732","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":"Q998758$12540D74-9B63-4C7C-8E96-C819A7CEC390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa91d604cc688aaf534e97fe612db323e4b5fec","datavalue":{"value":{"entity-type":"item","numeric-id":616119,"id":"Q616119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132b04f4cf019cd7433101c89ed06636ff14bdd9","datavalue":{"value":{"amount":"+0.7682684659957886","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":"Q998758$7EC1DD3D-A289-4927-85E9-0BE7F1D0D2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add3868c4242b66fefac8b0bcd0913cc50108613","datavalue":{"value":{"entity-type":"item","numeric-id":861599,"id":"Q861599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f58856bba8a77e38ff438ff8cb13af4180b861","datavalue":{"value":{"amount":"+0.7615908980369568","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":"Q998758$52D4E7DF-B3AA-4C8D-A0CA-FD3FD374316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc625015bbbc02bc992cb6afcd28f0b182645beb","datavalue":{"value":{"entity-type":"item","numeric-id":5411447,"id":"Q5411447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7303ef988fe0f93d361a2a14b370770528d1f01","datavalue":{"value":{"amount":"+0.7572016716003418","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":"Q998758$846E497B-6480-4FDA-A5D3-574E6106652F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:998758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:998758"}}}}}