{"entities":{"Q1272129":{"pageid":1282879,"ns":120,"title":"Item:Q1272129","lastrevid":42992496,"modified":"2025-07-16T16:52:42Z","type":"item","id":"Q1272129","labels":{"en":{"language":"en","value":"Affine completeness of Kleene algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226220"}},"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":"Q1272129$95D7BB32-6D7D-454A-A277-D0727EBA2269","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a085a9ddf0d9f13407b3fab02be9b60635026701","datavalue":{"value":{"text":"Affine completeness of Kleene algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272129$EE094347-5138-4A96-9751-48BFF16D3195","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97f271cc3df527034c5cefd6108208300711612f","datavalue":{"value":"0903.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272129$4164ECEC-B34E-407F-8F51-3D90275FB0BF","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":"Q1272129$ED0AC1C2-E545-4E00-8BA1-093E7BC17217","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53fb7273221ce117f6a427df8be22cfe791bdb36","datavalue":{"value":{"time":"+1998-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272129$F69DB148-D6D7-46CB-8596-193FA2A94FC5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe7c5dff7613c6ef8c85a8c20ce0033cecbbe041","datavalue":{"value":"An algebra \\(K\\) is called (locally) affine complete if every compatible function on \\(K\\) is a (local) polynomial. A Kleene algebra is a bounded distributive lattice with an additional operation \\('\\) satisfying the identities \\((x\\vee y)' = x' \\wedge y'\\), \\((x\\wedge x') \\vee (y\\vee y')=y\\vee y'\\), \\(0'=1\\), \\(x''=x\\) and their duals. For every Kleene algebra let be \\(K^{\\vee } = \\{x\\vee x'; x\\in K\\}\\). It was proved by \\textit{M. Haviar} [Acta Math. Univ. Comen., New Ser. 62, No. 2, 179-190 (1993; Zbl 0821.06010)] that a finite Kleene algebra is affine complete iff it is a Boolean algebra.    The aim of the paper under review is to study the general case. Let \\(A\\) be a subalgebra of an algebra \\(B\\). We say that \\(A\\) is affine complete in \\(B\\) if every compatible function on \\(A\\) can be interpolated by a polynomial of \\(B\\). The main theorems are the following:    {Theorem}. Let \\(K\\) be a Kleene algebra. Then the following conditions are equivalent:    (1) \\(K\\) is locally affine complete    (2) \\(K^{\\vee }\\) is a locally affine complete lattice    (3) \\(K^{\\vee }\\) does not contain a proper Boolean interval.    {Theorem}. Let \\(K\\) be a Kleene algebra. Then the following conditions are equivalent:    (1) \\(K\\) is affine complete    (2) \\(K^{\\vee }\\) is affine complete in \\(K\\)    (3) \\(K^{\\vee }\\) does not contain proper Boolean intervals and for every proper almost principal filter \\(F\\) in \\(K^{\\vee }\\) there exists \\(b\\in K\\) such that \\(F=K^{\\vee } \\cap \\uparrow b\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272129$DECE4DDF-A8C0-42F8-8B74-24263712088F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272129$EE6261EC-889A-49D7-BB0A-6212D6D064D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272129$4FBEDFFA-BAFC-4C8D-A9E3-D11CF298922D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60a9ce7c93b6437238cbfec6f07d43f46ae0cdd0","datavalue":{"value":"1226220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272129$DE3FEDB7-826B-4709-95DB-006B39B335E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2e9c03e62a9e69b2154e6fdb0dcad6b89f06814","datavalue":{"value":"affine complete algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272129$C5FCD71F-F3E8-4FA0-BCBF-B81A486871BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272129$D74E3FC4-5EA9-40CE-A771-4E98635247CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"113dfb69a39b21a62cbfab3fd07dcff57fcb310e","datavalue":{"value":{"entity-type":"item","numeric-id":494627,"id":"Q494627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272129$24512743-9C13-4336-AA33-45363ED8B8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c114b1c803d3c46eb61ec6ca1306c6260abc4e","datavalue":{"value":{"entity-type":"item","numeric-id":219082,"id":"Q219082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272129$CF451596-B620-42E6-B18A-703BBA93C6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06af347d62b2363e181b683d510a6516c1089689","datavalue":{"value":{"entity-type":"item","numeric-id":271700,"id":"Q271700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272129$B6509D89-B076-4707-9734-159901A444D2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272129$95E1577A-4F38-423F-B366-64344552014F","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":"Q1272129$80C096E3-0FAD-4896-AA10-E68A8894E385","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfcc6d3e9cb8823e2a3fe59893ea2babae54ca6f","datavalue":{"value":"https://doi.org/10.1007/s000120050032","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272129$25773C64-BF73-4333-A3DD-EBB315C941D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7265311434d9a4b5f8287ab969361d1c88152121","datavalue":{"value":"W2014010981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272129$05AC00B2-6B60-4D76-A3FF-C89B39109EE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c9394ad2de30690b01aad0ff86c5f2ec0eb6339","datavalue":{"value":"10.1007/S000120050032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272129$AE9534E0-6E02-4CA2-8C24-E238A7887B55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4fb003855aec0ac3d77715f5ef2df0f44f3cd4","datavalue":{"value":{"entity-type":"item","numeric-id":4792047,"id":"Q4792047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932712d3c7f9da44d0e5352e73ce15f0bc2b90b2","datavalue":{"value":{"amount":"+0.8412245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272129$E57E2B16-D8C3-4963-B351-0C8850EA3CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c817e4b55600d998d6caa4a5b7abee159bbef81b","datavalue":{"value":{"entity-type":"item","numeric-id":4391279,"id":"Q4391279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470a732b2015e08d7c5f4a70745e074160ef7a8c","datavalue":{"value":{"amount":"+0.8197568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272129$7938228C-02DD-49C3-97E3-4B2AEE3301D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa5ce75ead45678c5f184c5e07933e63992fbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4672860,"id":"Q4672860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f50d1ca57e0019028d5c3236e46f6e11c1322c3","datavalue":{"value":{"amount":"+0.74142396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272129$3D9180FD-423A-4FBA-8069-401DB16AD265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e7764a7f9954ac83058f0ee39e6444254e669b","datavalue":{"value":{"entity-type":"item","numeric-id":4864782,"id":"Q4864782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd2fd5bda81f836f971bdeeaacb12c498f8d9da","datavalue":{"value":{"amount":"+0.71082646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272129$A201E22A-BCC1-4C81-9463-3E038C527B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b62b2907f6c611185cc37b27f6fed8e61600d28a","datavalue":{"value":{"entity-type":"item","numeric-id":4838457,"id":"Q4838457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a68d4cd027107d96cf9b712b37743c9f1060e45","datavalue":{"value":{"amount":"+0.6990546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272129$DFDF1E4D-E04D-4CBF-8AF0-B1A6BF1D3AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e896c92471401930329b6eaa90c8afceb3512ea8","datavalue":{"value":{"entity-type":"item","numeric-id":4427387,"id":"Q4427387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abde14b683553495d329ecc2c5c1aafab232815c","datavalue":{"value":{"amount":"+0.69779104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272129$C97CE1F3-318E-4325-8F49-3290888AB5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6798b1d7b8df16da3d2a3df079fb186679ebe21","datavalue":{"value":{"entity-type":"item","numeric-id":1866832,"id":"Q1866832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d31776a6405204544d99ec3077736bde8ccde2","datavalue":{"value":{"amount":"+0.68736804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272129$29AC59CF-FCAC-4F25-89EC-A0CE02030F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3c2eb7a2f70fc82fb9867e2ee6acd6c0ee1e98","datavalue":{"value":{"entity-type":"item","numeric-id":790859,"id":"Q790859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f049cd64a966f32e80f2f7676435912dfa2a2a","datavalue":{"value":{"amount":"+0.6832169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272129$E48861A6-B6AB-497B-B33D-1546D932092F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb0769c9a9670c2706f028cba494d7f47f3c8c57","datavalue":{"value":{"entity-type":"item","numeric-id":4016252,"id":"Q4016252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab30efd4d16935deebe262775fab0e33a2c07e5f","datavalue":{"value":{"amount":"+0.6660044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272129$98157777-CBA4-4DAF-BDD4-D3920606633C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed5a4d544573585f3b22ee8674b90fcec8456d9","datavalue":{"value":{"entity-type":"item","numeric-id":2363497,"id":"Q2363497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5949837f931cdf48644cecb1870b7d8a0a306d84","datavalue":{"value":{"amount":"+0.6595142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272129$C3C9CB82-AB57-42A9-A918-DB9EA1FE21EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1272129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1272129"}}}}}