{"entities":{"Q1771933":{"pageid":1782675,"ns":120,"title":"Item:Q1771933","lastrevid":69291129,"modified":"2026-04-13T06:01:31Z","type":"item","id":"Q1771933","labels":{"en":{"language":"en","value":"Varieties of two-dimensional cylindric algebras. I: Diagonal-free case."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2158794"}},"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":"Q1771933$AEE6F8B9-784E-4E9F-9CDF-6C4C2DAB3CB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5773b39b5c4657736eaf296307e7ce151bf21960","datavalue":{"value":{"text":"Varieties of two-dimensional cylindric algebras. I: Diagonal-free case.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1771933$17C8A616-2DE4-47EC-BE36-7168C60CBD40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd0636cb1c8f4b3da2c4a2888665209c8d4c01b4","datavalue":{"value":"1058.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771933$ABA5F49A-E0DB-4759-A50E-28A604275368","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771933$F205DEFA-6A0A-40F2-8757-5D9CE5FFEC13","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":"Q1771933$12C1A317-9A7A-46FC-BFC5-20999D541CFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb70300f99f400e55c13fd1158ba931b60602038","datavalue":{"value":{"time":"+2005-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1771933$73714BF4-6328-42BE-B9BB-2FBE62BB5BA0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"27878629f35225f1432e8d13c04ee99f1ac736f3","datavalue":{"value":"A \\(Df_1\\)-algebra is a pair \\((B,\\exists )\\) where \\(B\\) is a Boolean algebra and \\(\\exists \\) is a unary operator on \\(B\\) satisfying \\(a\\leq \\exists a, \\;\\exists 0 = 0\\) and \\(\\exists (\\exists a\\wedge b) = \\exists a \\wedge \\exists b\\) (also known under the name of Halmos monadic algebra). An algebra \\((B, \\exists _1, \\exists _2)\\) is called a two-dimensional free cylindric algebra (briefly \\(Df_2\\)-algebra) if \\((B,\\exists _1)\\), \\((B,\\exists _2)\\) are \\(Df_1\\)-algebras and \\(\\exists _1 \\exists _2 a = \\exists _2 \\exists _1 a\\) for each \\(a\\in B\\). The author studies the lattice \\(\\Lambda (Df_2)\\) of all subvarieties of the variety \\(Df_2\\) of \\(Df_2\\)-algebras.  Main results: A \\(Df_2\\)-algebra is finitely representable iff it is finitely approximable and there are no nontrivial injectives and absolute retracts in \\(Df_2\\). Every proper subvariety of \\(Df_2\\) is locally finite and hence \\(Df_2\\) is hereditary finitely approximable. Finite projective \\(Df_2\\)-algebras and all 6 critical varieties in \\(\\Lambda (Df_2)\\) are described. Finally, all square representable and rectangularly representable subvarietes of \\(Df_2\\) are described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771933$E70BC4F8-9022-4D79-A1DE-4F6F0550D89D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771933$F8B77C36-2015-49DF-9691-EB9E07A74238","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771933$5B42A37D-50B5-4279-A12F-D01B3F2B0BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771933$E6FC8740-5999-49D3-844F-92F817172B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9577ccb6973103e8f41cb9e37851a235447d8805","datavalue":{"value":"08B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771933$73B28958-B27B-46B9-AD94-03E28CB01849","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d10d89c6e3fbc811d205c5a1557f1a41a87f271","datavalue":{"value":"2158794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771933$D2A2AFCB-9EBD-4CA3-8B33-3F36E18171A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa924a4efab1d650802b42a4f65539f0dec2459e","datavalue":{"value":"two-dimensional diagonal-free cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771933$704B7CD1-DB96-4172-BFFB-C5E091899E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad6d574eff98caea16517adce3dbddfa66db366b","datavalue":{"value":"projective and injective algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771933$BDB9B076-8EFA-425C-AA77-BB1FE9534655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0047358160b24dc80274ba04e0ea4fb5149336","datavalue":{"value":"locally finite varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771933$C31C0150-5321-4C28-8BE2-652D0A4D1E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2e56c8881718600c5c8dab5096b87e3d09a433","datavalue":{"value":"critical varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771933$C987FFCC-EAED-4E52-A1CA-B85935FF0F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab2219c92386a5f99d4998ddbeb345f972a04a4e","datavalue":{"value":"representable varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771933$CEAD702E-DB48-4C57-ADD8-4037A3341DB5","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":"Q1771933$6EC981D9-D388-4512-B376-CC8CA8DF9FD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"896f533133e7c1c1839bc482a9beb82f706fa852","datavalue":{"value":"https://doi.org/10.1007/s00012-002-8203-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1771933$D9C44A4D-5F0A-4B4B-8CC2-ABF9B8281FF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7289339bb7a72d01b7ace4508463b1e59a75fef","datavalue":{"value":"W2077075340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771933$56A08FFE-28E9-4D68-BD1F-8BDF70C4E5C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbbaa81367af9847789de10f776ae62292a6ee43","datavalue":{"value":"10.1007/S00012-002-8203-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771933$1C22916C-3791-43A6-AFDF-AD0F6F62FD80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4005fce1429451ae4c1198d644ddc65407001da","datavalue":{"value":{"entity-type":"item","numeric-id":2853708,"id":"Q2853708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99380818a8268b32269105ebfdb0449093f45071","datavalue":{"value":{"amount":"+0.8902222514152527","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":"Q1771933$7CE47E25-43E4-4C43-A35E-DA7D2720E69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf06abe44ebb3696897d6c1edee69ba77303034e","datavalue":{"value":{"entity-type":"item","numeric-id":2583594,"id":"Q2583594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480cd73a8443525c61a7b6921476abac2173d7e2","datavalue":{"value":{"amount":"+0.8825408220291138","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":"Q1771933$BC7D162B-EF1B-41C2-8AFD-B76CA1F2CCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efe25d4908d290f85487c69ba80074bdb6f9b9a","datavalue":{"value":{"entity-type":"item","numeric-id":5932477,"id":"Q5932477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6bf4cc4b6b5b5d03762bf348210a9646c46ef90","datavalue":{"value":{"amount":"+0.8605934381484985","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":"Q1771933$F51D5D9A-C065-40E9-A624-474249C056AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4823c9bc3ddfaebc3178a7226996a1e8b5056de3","datavalue":{"value":{"entity-type":"item","numeric-id":4656550,"id":"Q4656550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc97309581c51e654f11f2de55fff1f8cffd801","datavalue":{"value":{"amount":"+0.8466790318489075","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":"Q1771933$2DBADCCD-FE1D-470D-AE58-C5E482BDFA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d84a5de565bb049d486819d4267531505fef841","datavalue":{"value":{"entity-type":"item","numeric-id":2888150,"id":"Q2888150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb18b2887fb5ae2c026d9237313a869b0e77f13","datavalue":{"value":{"amount":"+0.8365939259529114","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":"Q1771933$C05758BF-A82B-4D46-84BF-94BA15055CF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties of two-dimensional cylindric algebras. I: Diagonal-free case.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_of_two-dimensional_cylindric_algebras._I:_Diagonal-free_case."}}}}}