{"entities":{"Q2276955":{"pageid":2287698,"ns":120,"title":"Item:Q2276955","lastrevid":49478191,"modified":"2026-01-07T05:39:57Z","type":"item","id":"Q2276955","labels":{"en":{"language":"en","value":"A remark of representable positive cylindric algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193666"}},"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":"Q2276955$54CE6478-040B-4CB9-A073-761DFDA1936A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27b8218dcd276daa1920275dc99737fdd19f0f59","datavalue":{"value":{"text":"A remark of representable positive cylindric algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2276955$2F79FFE4-6E0D-46D5-8018-E0DEC6758B9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf919930640ccb8425ee9e1df48b0eb672bf7e15","datavalue":{"value":"0724.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276955$E50CA846-2E55-4278-BA21-854E0CA34E07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"339af9fd9f0196b6c051b6d223c11fbe969ad96b","datavalue":{"value":"10.1007/BF01190418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276955$08C1615B-4847-48E0-83DE-B842B605546D","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":"Q2276955$B93475ED-3381-4C77-B86A-78EC9B788B62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2276955$AE71964D-11C0-45D2-B9C6-8A1770189477","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b0ab9184afc6840db7a55ca4805bebeabcbf02f6","datavalue":{"value":"If one considers all of the usual cylindric operations except for complementation, one naturally defines a positive cylindric set algebra, and the class \\(RCA^+_{\\alpha}\\) of representable positive cylindric algebras. The author shows that \\(RCA^+_{\\alpha}\\) is a universal class for all \\(\\alpha\\), and is not axiomatizable by a finite scheme for all \\(\\alpha\\geq 3\\). The proof of the second result is based on the fact that the complement of the ordinary class of representable cylindric algebras is not closed under ultraproducts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276955$91C442AD-E0FF-4D4F-9942-C388FA75409D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276955$90E71486-AD45-4E11-949F-3F129FB5EFFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4afde2b35d256ae5c0fb49deb31c289c0e946408","datavalue":{"value":"4193666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276955$EBDC5136-1979-4558-8B68-D7010D3126BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9157c40eaa9657f96e500f91c98fd5161dc2f2","datavalue":{"value":"positive reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276955$A157C103-41E8-45D2-BA73-8D455F6BB82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5471b326a037051483e8b8031a0c5d282058d7c0","datavalue":{"value":"positive cylindric set algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276955$54CE831A-8446-4906-ADD2-8B5ECE5EA513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f522e82047beb7e273579c0256e2009dca26607a","datavalue":{"value":"representable positive cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276955$078C0699-5BCA-4F50-8EBE-188A1E7F9BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008271cbec60d50c025b8d3e422e8c57975de2d8","datavalue":{"value":"universal class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276955$249A7BEC-D4EB-4600-969C-58184CAA9ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420ef905585183d2b90331a87dc2c0342672afd6","datavalue":{"value":"representable cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276955$81E7127A-F13F-4DDF-AB83-DDC31FDCFA7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"172d13bb1c9d1112b7c126a1a40cb52d5f1e4080","datavalue":{"value":{"entity-type":"item","numeric-id":795933,"id":"Q795933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276955$0B187DCE-20C1-46F8-AB98-BC961DFE16C3","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":"Q2276955$09773D28-AA2D-4DFC-8350-8844C60E7F77","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":"Q2276955$20A0BEF6-5B2D-43D3-B425-B7C678601CB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276955$7E8F49FF-95B7-47CD-A11D-08CD91F9C56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219f2f12751ffddf99cde0c65da6d3e5ade6bd70","datavalue":{"value":{"entity-type":"item","numeric-id":761801,"id":"Q761801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276955$F7963654-80B8-4CB5-B659-41C2DDA65E98","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":"Q2276955$37DF818E-7835-42CF-A45E-8C12CA174DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fafb09cac9e7930919436b28063946a6fdfc51","datavalue":{"value":{"entity-type":"item","numeric-id":5833217,"id":"Q5833217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276955$7FCBB699-945F-4803-BB32-D9A5BE87D853","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"498954426a1d05b2db8ce09d8b46576bb9b9c423","datavalue":{"value":"https://doi.org/10.1007/bf01190418","type":"string"},"datatype":"url"},"type":"statement","id":"Q2276955$243FA516-C66E-4267-9C43-E58E94D0F9EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9f864cd5869d11cfa4d278ee48f284679f086b3","datavalue":{"value":"W2023426772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276955$21EA97AC-0F6A-4832-8D38-06C78DD63277","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c793eeca434ad6e62434ebf8823bf8a4c4412e45","datavalue":{"value":{"entity-type":"item","numeric-id":4916283,"id":"Q4916283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3bc2900623576e9f4d65f3f95c22b6ea450da7","datavalue":{"value":{"amount":"+0.812624990940094","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":"Q2276955$0C85BD94-4F06-45DB-A3D6-EB06EA999D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7519011d23c6d3f91e55e829d986856a89d1ea62","datavalue":{"value":{"entity-type":"item","numeric-id":5956890,"id":"Q5956890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0606f0fcd8c2bb7340d5b1e223014f14ee67ee","datavalue":{"value":{"amount":"+0.7933846116065979","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":"Q2276955$D1AC3569-F485-4CF4-A373-681082108A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee8d18dd325a1a88926019f902c39641c0aa010","datavalue":{"value":{"entity-type":"item","numeric-id":3399179,"id":"Q3399179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68da562e82629b905e4a8fe3a07d125275268ead","datavalue":{"value":{"amount":"+0.7929953336715698","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":"Q2276955$90A70EBF-5433-48C0-9767-8CF2B4BE6F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb02ee74983bfb8fdf1a0aea215e3716635a9f0","datavalue":{"value":{"entity-type":"item","numeric-id":1821100,"id":"Q1821100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca1abc456aa79858ac118acbbaa373b81085b15","datavalue":{"value":{"amount":"+0.7888755202293396","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":"Q2276955$22F2B8E7-EB07-4F0B-AC13-B6C57CB40853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4032aed34184aca2d4a72df90583b29de282e7","datavalue":{"value":{"entity-type":"item","numeric-id":4443403,"id":"Q4443403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"350f8c0f1075c86ec00dc62deef239f2ae4cf7a0","datavalue":{"value":{"amount":"+0.7870866656303406","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":"Q2276955$96AFA517-6527-4A08-B83C-9B2A08692D60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2276955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2276955"}}}}}