{"entities":{"Q1821100":{"pageid":1831842,"ns":120,"title":"Item:Q1821100","lastrevid":49050046,"modified":"2026-01-06T12:51:37Z","type":"item","id":"Q1821100","labels":{"en":{"language":"en","value":"Representable cylindric algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997789"}},"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":"Q1821100$EA431A5E-1C23-4E1B-8636-9DB241DE8C4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e05de9b966af7b4d33582661b4df7c01ee5672ef","datavalue":{"value":{"text":"Representable cylindric algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821100$16A72C14-547E-4ED6-A8D3-D69F54F769C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aa1314f64d449a2d56919f97f905d8f31e3e037","datavalue":{"value":"0616.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821100$F9CD772E-1376-4698-A942-B0244BEA46C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c75e21ea218f84cd41c3f0dd2675b7cf2fb3ed89","datavalue":{"value":"10.1016/0168-0072(86)90061-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821100$04E3DFCA-6F5E-43A2-9311-F8A32D90811A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08096eef4c8cb12c9f143fe73e795074c5a55fa2","datavalue":{"value":{"entity-type":"item","numeric-id":1064323,"id":"Q1064323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$098A80DA-B623-4809-BBEE-9500BABD718E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f2d17465e67c6040a46607a882c4abd0971bc9f","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$8231A58B-62F7-4391-AFD6-1BB65822ED1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85829b121f1bd00e00d15a9f50bd81f731384991","datavalue":{"value":{"entity-type":"item","numeric-id":6482289,"id":"Q6482289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$53E71D49-2DE7-4CEF-97B2-000C4DFD54C2","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":"Q1821100$62DA389E-115C-4F5B-94C7-B2F48088809C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1821100$80756B69-CF89-42C8-ADA9-F81295E4A38C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c5caf2c495c83b2f90c6875ed013c0cddf7277d6","datavalue":{"value":"This article is a continuation of an earlier one by the same authors [Lect. Notes Math. 883, 1-129 (1981; Zbl 0497.03025)]. It contains various sufficient conditions for representability of cylindric algebras; also three methods for constructing non-representable algebras are described. In particular, one can find one more proof of the well-known Tarski's theorem that every \\(Lf_{\\alpha}\\) with \\(\\alpha\\geq \\omega\\) is representable; the present proof is a version of Henkin's proof of the completeness theorem for first order logic.    Reviewer's remark: The text of the article, almost word for word, has also been included in Sect. 3.2 (items 3.2.1-3.2.72) of the authors' monograph [Cylindric algebras, Part II (1985; Zbl 0576.03043)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821100$B1935E75-5168-4A33-AB40-29D769E0361F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$84AECEE6-A1CD-4A71-BD42-47752AB099E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821100$7D18E268-CFD8-48EF-9D72-0365C10A93B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d973c52b8c6ae73b632b56f2cd0853cb51920982","datavalue":{"value":"3997789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821100$554B2D97-D8FC-4EDA-BB66-C382085B74DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cab54c679fd0318d892a939cce3652e91c37c8a","datavalue":{"value":"representability of cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821100$3B4D74D7-3CFF-491F-B063-800C1632C402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e2e157c87ebdaed1864e957e16ac89845848a5","datavalue":{"value":"non-representable algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821100$044B0CEB-AEC5-4CD4-A954-D9E977E6C833","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":"Q1821100$E96B49CB-96F9-4590-8A09-1EBE3852AFB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61701d45bd5b6d7f8cffc85254f2ad09ddd16172","datavalue":{"value":"https://doi.org/10.1016/0168-0072(86)90061-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1821100$6E189CA4-8154-4AF4-8F8C-DD7E463A2910","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5afb8bccf15825abbb721f747506fbc0a4a6bd93","datavalue":{"value":"W2013091451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821100$6B62598C-7609-4338-BFC3-B5D8D7E0A2E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"487b33ab56fdb9cca1574f1b231714b30bc27b9f","datavalue":{"value":{"entity-type":"item","numeric-id":1217805,"id":"Q1217805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$47128DE0-07B4-4C44-9857-AD4E72F1EADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da74057c212b05ac4af50731c575e1cbc0c68ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5834619,"id":"Q5834619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$08A01CD2-8138-483E-BFE9-9AFD2EC27A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d3788c7eee7971d4fca2d7219813b8cc519de0","datavalue":{"value":{"entity-type":"item","numeric-id":3259699,"id":"Q3259699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$C327DF7C-5C4E-408E-BB3F-786F0D010599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbcd3074c470d4a46db67b3dfaa02f9246b5be8","datavalue":{"value":{"entity-type":"item","numeric-id":1170185,"id":"Q1170185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$5C5DC199-6E40-46FA-8423-511DE7C0D84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235c290202d09253609d3352adbe072fd28dd6d1","datavalue":{"value":{"entity-type":"item","numeric-id":5732648,"id":"Q5732648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$D3F23C8B-A998-4A53-9F19-574B024E6699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"862c76abe7dfb9afc39f8baf26767fb0a692e9d1","datavalue":{"value":{"entity-type":"item","numeric-id":1131271,"id":"Q1131271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$480CE032-E00D-4097-8133-CDA55D83170B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c3d15c84dc7069ba8133dbe682b4a05a96f8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5596741,"id":"Q5596741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$4D04A2A9-3062-482B-BAA2-2C473FC95054","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":"Q1821100$1565F67F-7011-48D7-9E24-D2DCA4EB7D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"321d84c9a5e11bb39483f8b8d30dcc5cd886ca57","datavalue":{"value":{"entity-type":"item","numeric-id":4111007,"id":"Q4111007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$0B725AC8-B222-4D33-8B5B-E26EC8DACED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$A6A10E83-D1E3-4B58-9471-89CEC97AB826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a616a154f2281d1f8e5028311835a0d461341ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4179017,"id":"Q4179017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821100$C70589F6-93F5-412B-9B57-D2B7B9E425B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349e388901597f66d3ececd7c7817eeca9608790","datavalue":{"value":{"entity-type":"item","numeric-id":1295366,"id":"Q1295366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a752ea57fe88a5802f176de1023e2fe63ca147a9","datavalue":{"value":{"amount":"+0.8193861246109009","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":"Q1821100$EFDEBC5D-E074-4336-A823-4625C72C6206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97cf03470cbb86f3c3e395bb69516c74477226d4","datavalue":{"value":{"entity-type":"item","numeric-id":387126,"id":"Q387126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a752ea57fe88a5802f176de1023e2fe63ca147a9","datavalue":{"value":{"amount":"+0.8193861246109009","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":"Q1821100$9AD91E4C-3811-46EE-B371-4B8EC824305B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333dd4280a2ae81b7dd26c7caffb51448dfcb7f2","datavalue":{"value":{"entity-type":"item","numeric-id":5215389,"id":"Q5215389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6b91779d47dbd59b2bf5a6284532046d5aa926","datavalue":{"value":{"amount":"+0.8171077966690063","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":"Q1821100$F6A96C27-1977-49D7-87C7-AD6A9C9E94DB","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":"b929e2c9308ccd8899d6f92ec6844a9580a087e2","datavalue":{"value":{"amount":"+0.8097245097160339","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":"Q1821100$89F58CC5-BEE3-44FA-9010-FF73F5AE1F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e90dfd1fe59ad3b986b2ff90aefd319d2173ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4273436,"id":"Q4273436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32b1390f15f3599442a1a0593db13281bbb7cba","datavalue":{"value":{"amount":"+0.808393657207489","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":"Q1821100$80AADA67-F48C-400C-8CF1-41CAEEB866CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1821100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1821100"}}}}}