{"entities":{"Q2583594":{"pageid":2594337,"ns":120,"title":"Item:Q2583594","lastrevid":78913061,"modified":"2026-05-06T12:43:41Z","type":"item","id":"Q2583594","labels":{"en":{"language":"en","value":"Varieties of two-dimensional cylindric algebras. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2248068"}},"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":"Q2583594$7504091B-EFD6-42C8-BF90-FB0FB5DED94C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbe6871b12f64e5cc74301a4b426be77f8d3f695","datavalue":{"value":{"text":"Varieties of two-dimensional cylindric algebras. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2583594$2412EF1F-987D-459A-9B7A-A844B5194756","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69c686597c3ccd93554d9c589a1a519bba06db90","datavalue":{"value":"1082.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583594$48C34C65-22A2-4CC6-9315-934E4BCE1555","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":"Q2583594$FC79F663-1F5A-4ACB-92E8-6B5192CD1934","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":"Q2583594$3ADECDB0-B4BC-40DC-85EC-3D7A1B4C1A91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4df1b8b5707fc4a42b8f50fc6476f3b8f097b1e","datavalue":{"value":{"time":"+2006-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2583594$E1FAB5A6-A484-4B9B-9072-3457836CE9FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1722e3055b2a98a9a2334cfc2543ea44366560a7","datavalue":{"value":"The paper is a sequel to Part I [ibid. 48, 11--42 (2002; Zbl 1058.03072)], where the basic concepts are introduced and the lattice of all subvarieties of two-dimensional cylindric algebras is investigated. The present paper contains seven sections.  Section 1 is an introduction and Section 2 is devoted to the main tool, which is a dual space CS corresponding to the variety CA\\({}_2\\) of two-dimemnsional cylindric algebras. This duality is used in Section 3 for proving that an algebra \\(A\\) of CA\\({}_2\\) is representable iff its dual does not satisfy a certain condition. In Section 4 it is shown that there exists a continuum of varieties between RCA\\({}_2\\) and CA\\({}_2\\). In Section 5, the author describes the only pre locally finite subvariety of CA\\({}_2\\), and locally finite subvarieties of CA\\({}_2\\) are characterized. In Section 6, he characterizes finitely generated subvarieties of CA\\({}_2\\) by describing all 15 pre finitely generated subvarieties. The last section gives a rough description of the lattice of subvarieties of CA\\({}_2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583594$5D21E5FE-624D-404A-8FF4-01A16E63998A","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":"Q2583594$6F89A670-9CCE-499E-B03F-98528E0D7152","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583594$58019903-2CE6-4B97-B399-10886D94CE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583594$D7F0362F-227C-4B1A-9AB7-92D3E32F9E62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85acf11106d887f84c47b2522e56d94c9b44912c","datavalue":{"value":"2248068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583594$B2B7BECE-A04A-48AA-907E-1474A609733A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee8c887f1006721435aa48514bf2604dbb01539","datavalue":{"value":"two-dimensional cylindric algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583594$BD988CCA-903C-41BB-BCAE-12300A4AD958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb718f245547f950e00f83a54df621e44f633d9","datavalue":{"value":"representable cylindric algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583594$7EA24F08-71ED-4C5F-9D4F-7561CCB0A9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4872ca90e3cce02e4c73948f094653cd7ea34e3f","datavalue":{"value":"locally finite variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583594$F4FA2BB4-B32E-4579-95E4-FF4596AF5C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59499e10bdf9769107d972ae4c391fdc38a83ec5","datavalue":{"value":"pre finitely generated variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583594$43B1DEB8-389B-4546-8240-306986A45ED6","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":"Q2583594$B713B5C1-11C1-43CB-BB39-DE30A7E34B94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"689be311f8adafc72625a24bc9bf41553bff5aa2","datavalue":{"value":"https://doi.org/10.1007/s00012-004-1856-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2583594$F4BB3D91-99E9-41FA-851F-C4DE60170312","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee540e19d1a072bafe61aa64df3a715d752988d0","datavalue":{"value":"W2041409900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583594$EFF578F2-9142-4968-B743-D5E3B04789B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ea39b07d1fb3fc3803a647fac7e4abc4bdfd698","datavalue":{"value":"10.1007/S00012-004-1856-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583594$C8D3BF3A-8921-4680-9510-5AC34E212D9B","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":"c21f26a38c3c97b414260047cefc4b8b52c88be7","datavalue":{"value":{"amount":"+0.9114206433296204","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":"Q2583594$683F44E7-5D6D-4385-B462-75E3C6F27322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3751cc8eeaa043b17412fa244574c2cbb409e5e2","datavalue":{"value":{"entity-type":"item","numeric-id":1771933,"id":"Q1771933"},"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":"Q2583594$0C37408C-4C1C-4DF1-83AF-2B73D51D0A1D","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":"e5646f3f95c723766ebf7feb0b5ed64a1c2299d2","datavalue":{"value":{"amount":"+0.8171485662460327","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":"Q2583594$187F6CAF-5B64-46E6-8AC5-F80BB5D5EC5A","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":"f29e886c70f451338af886a5ff39deeb56a29c76","datavalue":{"value":{"amount":"+0.7815768122673035","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":"Q2583594$14C774BD-23D5-4D03-BE24-7D49A7E3A403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc607e478c18dbdb6ae0fa7496ba691bb43f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":761449,"id":"Q761449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810806f2890a6bca99ef506644fdcc902c0e1025","datavalue":{"value":{"amount":"+0.7796919941902161","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":"Q2583594$22F3D951-2745-4FD7-B7B2-46D0E51AC481","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties of two-dimensional cylindric algebras. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_of_two-dimensional_cylindric_algebras._II"}}}}}