{"entities":{"Q1377624":{"pageid":1388364,"ns":120,"title":"Item:Q1377624","lastrevid":68760450,"modified":"2026-04-13T01:52:52Z","type":"item","id":"Q1377624","labels":{"en":{"language":"en","value":"Atom structures of cylindric algebras and relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109906"}},"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":"Q1377624$AD7A01EE-B5E0-48DE-9D77-278FE7363B28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d21e1556dadaf05d6497432c6a5c09c6665b078e","datavalue":{"value":{"text":"Atom structures of cylindric algebras and relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377624$28C86BE6-0D87-4F0E-9245-9B722BF8C6CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4616692e47c21cb625458205dd62a3916ccfdb6","datavalue":{"value":"0898.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377624$65E6F793-0C32-4D85-8C58-B5EEE85D702D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34ff810cf60a4dae675fc998af992b0e6d4604a9","datavalue":{"value":"10.1016/S0168-0072(97)00015-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377624$73604520-7D72-43C4-8313-6286343FDCFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$A412C659-7FE1-4BD0-923A-7A0FD5D1A5E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeab5ec812a0ca5fb5a693de9fb212e9ec6262da","datavalue":{"value":{"time":"+1998-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377624$322A6474-5E32-45DE-8EF9-62020419144B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c6ca559a25cdaf2c49199b282bc5998daf0bec98","datavalue":{"value":"In 1970, \\textit{J. D. Monk} [Math. Nachr. 46, 47-55 (1970; Zbl 0182.32301)] proved that relation algebras and cylindric algebras have completions, and asked whether completions of representable algebras are representable. This paper shows the answer is ``no''. There is a countable infinite relational structure \\({\\mathfrak S}\\) whose (uncountable) complex algebra is a relation algebra that is not representable, and yet \\({\\mathfrak S}\\) is the atom structure of a countable representable relation algebra. It follows that there is a countable atomic representable relation algebra whose completion is not representable. Similar results hold for cylindric algebras and solve a problem of \\textit{L. Henkin, J. D. Monk}, and \\textit{A. Tarski} [Cylindric algebras. Part I (1971; Zbl 0214.01302), Remarks 2.7.25 and Problem 2.16] by showing that the classes of representable relation algebras and representable cylindric algebras of finite dimension \\(n\\) \\((n\\geq 3)\\) are not axiomatizable by equations which are ``positive in the wider sense''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377624$8DEE1112-63AB-4605-839E-1AC47FEF9DCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377624$B1F4822A-486E-4C77-B960-AE233504DDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377624$B922738E-DD20-42F3-A346-47D3947C27B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6eebb2f568dcbaeca6d84cd1c4254775aa019a7c","datavalue":{"value":"1109906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377624$DA7C165A-21CD-4433-87C3-6C0192E2C36E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b111c36d6d988a197089e1477f96c0e11350f4e4","datavalue":{"value":"representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377624$36CD5868-C41B-45FC-84E5-766FDA7529AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377624$6CDAD004-24CE-476C-BE97-70FD149E9ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377624$40E5909E-D88D-4043-BD91-A521C969F852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377624$DE8699F1-748E-4DCC-8AD7-DE22DC3D1992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377624$AC2767AE-8965-4A6D-9291-97BD751FDCAD","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":"Q1377624$218CA2E9-6366-4305-9787-AE3511AB6883","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"042c8aa768666ba25bf6e8d6cb402290a13f8333","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$0358AC84-AF98-43E8-9B42-9F2C64ED1E02","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":"Q1377624$D769AE83-4360-4C54-914B-873D95CC653C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e37ec99ccb56daf3fc1cb66c5ad3ab41cf3b98a","datavalue":{"value":{"entity-type":"item","numeric-id":1377626,"id":"Q1377626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$DE1F6ADF-8CD0-4EBC-8DD6-7D9BAC133A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bccc04170b12cdfbc782f77a5d15185542badb7","datavalue":{"value":{"entity-type":"item","numeric-id":4143287,"id":"Q4143287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$4273828D-2D02-4D1A-8946-416131C191CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cfb8fa497fbdd8a8fbb057c1b81d463eca6ef0","datavalue":{"value":{"entity-type":"item","numeric-id":1151886,"id":"Q1151886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$11ECDFE6-1C18-4CBD-9BB7-281DF40D6730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074d519bf51323299881b4ad216526b3b33bcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":1906001,"id":"Q1906001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$2B553DEF-2E75-451D-834F-153E6372702E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$448DF4FA-98B2-41A4-98BE-5EFAE8150EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f449e14cea3fde54855232bd77d36f426ede0f","datavalue":{"value":{"entity-type":"item","numeric-id":4338323,"id":"Q4338323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$0D4C7AE7-91E0-4555-A8DB-3B35ACBC58F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f464bd83d76ad46f861be39216b7715bd765f61c","datavalue":{"value":{"entity-type":"item","numeric-id":4372908,"id":"Q4372908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$F2D3A50F-4480-4AA4-9341-086FBF3AB2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea34b894a8a33affcd7f3220d163c1c0f419280","datavalue":{"value":{"entity-type":"item","numeric-id":2701663,"id":"Q2701663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$DB5A31A2-D58F-4ADA-B6C0-3FB13C2F369F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b68cafecfe34fd4dda509fbafcf124482c67e236","datavalue":{"value":{"entity-type":"item","numeric-id":1964020,"id":"Q1964020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$0304FAAB-6B79-4525-8750-2F37C5E40748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$02FEF756-FC3C-4A01-908F-FF1EF47A7D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$8BE628CC-76C3-4562-8F02-F32B9BAEF224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe43f8ee3da5f5771d52de00bea9146672c1f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2648517,"id":"Q2648517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$3096DCCA-2F99-40A4-8456-292B5B03256B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1f3780260302945db0add04411654a1503c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":3661577,"id":"Q3661577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$5DCFDE3C-D5E0-409A-AD78-6CC934DF0333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8361fdc8ecf2d3b24d04b76e52798969e4b254f9","datavalue":{"value":{"entity-type":"item","numeric-id":3708022,"id":"Q3708022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$C76AEFC1-82B3-4B6D-BD0C-7ACADC668CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb2ddbf83b5e096ef2ec3ea0d717ff5eb833427","datavalue":{"value":{"entity-type":"item","numeric-id":2537778,"id":"Q2537778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$63BE6A3F-D3B3-41AE-A505-D9FF218FBDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d3d6ab7e266e208bfe8d643670073f816c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2521342,"id":"Q2521342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$C4150B7B-A2EF-4F90-8B6E-7C30F2F9DAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c324f2a3068028cb7eaaec522099dce3e3c5e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5571688,"id":"Q5571688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$DE0543CE-C8F2-4421-9917-16F11C602CE8","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":"Q1377624$7331A1D0-72B6-4ED8-ADF8-9C5E81D4C6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$624C05E3-7B9C-47B5-88CE-0D70375502F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ee5cbcb602f5552f779a98540126bce4ab9b71","datavalue":{"value":{"entity-type":"item","numeric-id":1272149,"id":"Q1272149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377624$451FA6D7-E498-4880-A4E4-C756901B3761","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebc5bc9693cb4957e74c6f88ff47d485a55c4e13","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(97)00015-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1377624$B5CAD87C-AF69-4E4A-A671-EB5FE045E239","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b2daa80eefef8ab7d40cfb54fe8222d4819d31e","datavalue":{"value":"W2120627125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377624$DB4B228D-55BA-483E-B721-7C2C08C081A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d85bd0b13f18fc7a8cd0f2297935675c664f072","datavalue":{"value":{"entity-type":"item","numeric-id":5411422,"id":"Q5411422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc773e48a6b7ca69dfed18dbda46a42a96aaaa3","datavalue":{"value":{"amount":"+0.8675513863563538","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":"Q1377624$FC5EAF5E-A594-4876-B85C-A28783CB00C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f65e433226dd9966971cb79317d61da271cc633","datavalue":{"value":{"entity-type":"item","numeric-id":3618753,"id":"Q3618753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27149cc27ef0cf2362df17723e6cdf81b890bd8c","datavalue":{"value":{"amount":"+0.8476349115371704","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":"Q1377624$6EFA51E4-6DDB-442F-AF03-CCF376673822","rank":"normal"},{"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":"afb235eea6822a38719431eb714438c580b32d4d","datavalue":{"value":{"amount":"+0.8433095812797546","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":"Q1377624$D6152CAC-A8C9-43BD-9498-2C80617EA11A","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":"3e43e64ee65dd68252200cd4fa1d61a9cacf87b0","datavalue":{"value":{"amount":"+0.8346097469329834","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":"Q1377624$B5D9C264-B841-4BB8-A81E-D37B95966DEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Atom structures of cylindric algebras and relation algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Atom_structures_of_cylindric_algebras_and_relation_algebras"}}}}}