{"entities":{"Q2297227":{"pageid":2307970,"ns":120,"title":"Item:Q2297227","lastrevid":57623979,"modified":"2026-03-31T16:16:05Z","type":"item","id":"Q2297227","labels":{"en":{"language":"en","value":"On the variety generated by completions of representable relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7169605"}},"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":"Q2297227$F279E66F-DDD0-420C-A3AF-FB36A2BF691E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c222cf58205cc41549bb4019b02a2488cf773ad1","datavalue":{"value":{"text":"On the variety generated by completions of representable relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2297227$E7ABD75D-D594-4E9C-AE01-1F583EF44F72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bee42b0b28524a81e0ba0becc22ffcd19b7a0139","datavalue":{"value":"1442.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297227$D42CA7C0-C1E5-4D62-B059-94EFA389076C","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":"Q2297227$13F59B34-1A31-4706-9C3E-A1AEB593025B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05c57a87dbc53c05445a3141681500035fc1e9f8","datavalue":{"value":{"time":"+2020-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2297227$2269E9A1-8726-4F61-996C-5AE7E2563294","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93a531249fa547546b87b99f0699e823d430c3a6","datavalue":{"value":"The article considers relation algebras in Tarski's sense, in particular the classes $\\mathrm{RA}$ of all relation algebras and  $\\mathrm{RRA}$ of all representable relation algebras. For any $\\mathrm{RA}$ $\\mathbf{A}$ let $\\mathbf{A}^c$ be the completion of $\\mathbf{A}$ in the sense of its Boolean part. It was observed by the reviewer [Math. Nachr. 46, 47--55 (1970; Zbl 0182.32301)] that $\\mathbf{A}^c$ is an RA; but \\textit{I. Hodkinson} [Ann. Pure Appl. Logic 89, No. 2--3, 117--148 (1997; Zbl 0898.03025)] showed that the completion of an $\\mathrm{RRA}$ is not necessarily an $\\mathrm{RRA}$. Let $\\mathrm{RRA}^c$ be the class of all algebras $\\mathbf{A}^c$ with $\\mathbf{A}\\in\\mathrm{RRA}$. Let $V$ be the variety determined by $\\mathrm{RRA}^c$. \\textit{R. D. Maddux} [Algebra Univers. 79, No. 2, Paper No. 20, 32 p. (2018; Zbl 1444.03177)] showed that $\\mathrm{RRA}\\subseteq V\\subseteq\\mathrm{RA}$, and he showed that there are many nonrepresntable members of $V$. \\textit{H. Andr\u00e9ka} and \\textit{I. N\u00e9meti} [Algebra Univers. 80, No. 3, Paper No. 30, 14 p. (2019; Zbl 1468.03080)] showed that there are continuum many varieties between $V$ and $\\mathrm{RA}$. The main result of the present article is that $\\mathrm{RRA}$ is not finitely axiomatizable over $V$. The proof consists of showing that $\\mathrm{RRA}$ contains an ultraproduct of members of $V\\backslash\\mathrm{RRA}$, and this is done using graphs, as follows. For $k<\\omega$ and $0<n<\\omega$ a graph $G^k_n$ is constructed, and associated with it is an $\\mathrm{RRA}$ $\\mathbf{A}(G^k_n)$. Then the ultraproduct $\\mathbf{A}^k=\\prod_{0<n<\\omega}\\mathbf{A}(G^k_n)/D$ is formed. Then let $\\mathbf{C}^k=(\\mathbf{A}^k)^c\\in V$. It is shown that $\\mathbf{C}^k\\notin\\mathrm{RRA}$. However, $\\prod_{k<\\omega}\\mathbf{C}^k\\in\\mathrm{RRA}$.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2297227$F49C8424-420C-4C9F-8537-97352E112174","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297227$21A40112-A3B6-4AEF-B9F1-98837A953CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297227$1B170928-1F4A-4B58-87EF-633AB4C80E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297227$1A1F5420-5716-4038-AC71-C94163F83981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297227$B2E14390-36FB-45F2-8334-6CF406AC291C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297227$FB355B1E-67C8-46BA-9201-89552A3D12B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af8605380401b886522f83596d888267ad506b2a","datavalue":{"value":"7169605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297227$7D4313DB-78DD-4028-90C5-BC82B32893AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24eb9a6b0982ff158c77bfa15e1a24d66e49f923","datavalue":{"value":"non-finitely axiomatisable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2297227$81C62A53-62B3-4347-8E87-EC2A893AC72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe6c0afb1368509ec8eae16a56b8f9bd0233ad0","datavalue":{"value":"canonical variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2297227$80432A79-0A65-46FC-AE0F-69BFE40BED18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc14051a93e8c78a1da682d6f4184d91e9c6088","datavalue":{"value":"graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2297227$9AD1FBBB-1F0F-4931-B55A-D3C0390937E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9959f4529f084c9f1a7ebc0e808ee60a0113928f","datavalue":{"value":"chromatic number","type":"string"},"datatype":"string"},"type":"statement","id":"Q2297227$A0254C88-08E3-444E-9DB0-37F1DFC6283D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae6cc52b35d03b83d5162d854c61cf5b039329e","datavalue":{"value":"cycle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2297227$749B23AB-D1CA-4CEB-8E3F-25A89CA583AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2297227$9F8EE62D-722E-4957-A005-6A58C80B952A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2297227$259BEEC0-1BA9-4482-9CAB-5EB9BB866FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2297227$796F3D85-2C16-4010-B8B9-15498D3502E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$26608CD0-B5AA-4F56-9D7C-931BDD24B02A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8c830f25d695f823013cb7f357472e8d32ae38a","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$E9AB5BB0-DC08-4787-8E69-9F8C7269E7B4","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":"Q2297227$BD183D10-8245-40EF-A4E7-A3417C65E849","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2eeb5ac0ee05b14377841ac6bff73252bc2df69e","datavalue":{"value":"https://doi.org/10.1007/s00012-020-0643-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2297227$559D72B2-662D-4A0D-9858-0BCAD864A70B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e20fa437acd1c81cf2b6e8ef4f57490e5d703fb","datavalue":{"value":"W3005423295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297227$5ECF93CF-0279-4E7B-B362-2A97C954C8FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd43c91b6853a4c80a1f299b9e57848d9680da07","datavalue":{"value":{"entity-type":"item","numeric-id":2311330,"id":"Q2311330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$6AC993EC-B572-4D07-A0F1-335155183C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f80f6e19275125de4f8e2f83f2df184481d4ef","datavalue":{"value":{"entity-type":"item","numeric-id":4342632,"id":"Q4342632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$1107DAE7-E2CE-4A38-98E7-48D38B4B71D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b91fb34b309a1448e42736f924e3a5012ab649","datavalue":{"value":{"entity-type":"item","numeric-id":3253064,"id":"Q3253064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$A7FE9DD7-E424-4DE2-B98E-18C116C76D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca1bc6f348c31c058c6d640b49c7c59e4cecd88","datavalue":{"value":{"entity-type":"item","numeric-id":5705523,"id":"Q5705523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$31B158B7-FD9D-488C-B508-6DACB0235754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$1B792160-49E9-451C-8F02-62EFADC7F393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55377d3d5051fb6febc1388df9b8119e8fcc8ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2781354,"id":"Q2781354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$86117FA1-32B5-4299-B880-5FB60370F9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c2b7b60fbc2ec48a0d9604e7a0eb99a9173a2d","datavalue":{"value":{"entity-type":"item","numeric-id":1377624,"id":"Q1377624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$AE5280D7-4852-4035-A07D-7982AD0A6E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c80b431acba65866ad5b5427c1ce034f57547e","datavalue":{"value":{"entity-type":"item","numeric-id":5461397,"id":"Q5461397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$874CD740-781E-4B21-A6E8-DCBB350DFE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a25df364f955a855452c2cb80bca58ae3ef47c4","datavalue":{"value":{"entity-type":"item","numeric-id":1652851,"id":"Q1652851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$1C48E12D-EECB-4A11-92D9-6CB92F15B6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e897e186ca69d57b331468f16b0b5f83082850","datavalue":{"value":{"entity-type":"item","numeric-id":5572316,"id":"Q5572316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$FA778BB9-93A4-41A4-8637-FB9BFA9609AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"564608d2060f6e0817212f619c644b665126db6d","datavalue":{"value":"10.1007/S00012-020-0643-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297227$C1CAD748-FFE6-438F-9A4A-B3CBA1332C91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfd65f6486e373a1cb93c7439262325f662906d","datavalue":{"value":{"entity-type":"item","numeric-id":1652851,"id":"Q1652851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef50b09096cdebe75956984a49aec149c8c5f72","datavalue":{"value":{"amount":"+0.8898913860321045","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":"Q2297227$E835F602-F4C4-45C8-AC31-6035CED11C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d680a39ef5423d8dcac75dfb9da7e20e05877f76","datavalue":{"value":{"entity-type":"item","numeric-id":5149062,"id":"Q5149062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51310cb0a3621deacb3e8c3d19d8c3a47ae5dc74","datavalue":{"value":{"amount":"+0.870086669921875","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":"Q2297227$AC1EF19A-F190-43BC-B071-16CC945619BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b85070a936e0abec3c66f196bd584ead8f7870","datavalue":{"value":{"entity-type":"item","numeric-id":1377624,"id":"Q1377624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97e7e0906af8a99bac40cb16fb0d4ad1e021439","datavalue":{"value":{"amount":"+0.8664097785949707","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":"Q2297227$39DBF98F-A0E9-44E3-94DF-342128899B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c4eb54f5a9538693b75e8a9bfe34481a4fc1f4","datavalue":{"value":{"entity-type":"item","numeric-id":2311330,"id":"Q2311330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90cbbcedd3bf98db10399a023c95da3d8bd82920","datavalue":{"value":{"amount":"+0.8556300401687622","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":"Q2297227$6C61A8D0-9FF2-41D5-9468-B8AABA8D24D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e336f938ef658399391b1f513bed1715c9cd0e1","datavalue":{"value":{"entity-type":"item","numeric-id":3632521,"id":"Q3632521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c606160c5c978c77ea69a0cbc14edad3f65545","datavalue":{"value":{"amount":"+0.8510081768035889","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":"Q2297227$73B854FE-7B88-4BE9-912C-EBD03F04296F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297227$563A992D-5058-41EC-863C-E52725A41462","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2297227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2297227"}}}}}