{"entities":{"Q1330084":{"pageid":1340834,"ns":120,"title":"Item:Q1330084","lastrevid":46284765,"modified":"2025-12-24T11:51:03Z","type":"item","id":"Q1330084","labels":{"en":{"language":"en","value":"Lattices of quasivarieties of 3-element algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 614257"}},"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":"Q1330084$0C21E1D9-E10E-4F4A-B59B-134774A5A5A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b48b00481c842c95d62abd2cafe107a862b167c3","datavalue":{"value":{"text":"Lattices of quasivarieties of 3-element algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1330084$5FD3E595-AA17-469C-8F0A-2E2002E11D34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"596e2ff41618ac5b763cddbf5ec6b75cfe778dc7","datavalue":{"value":"0806.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330084$D5DA7371-C51C-4238-8B68-C7FF3A447959","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330084$547B3780-2CE3-455D-8437-BF7F63372054","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330084$E1400A0A-C6F8-4C85-91C4-8C6D7A047FB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64a5597878452508c38f77062c2f388a61f673bf","datavalue":{"value":{"time":"+1994-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1330084$9A3DD8FA-18EA-4EAF-8177-C43ABC8D528B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9dbfff97226fbc1f4b64dee0389886351ab723c1","datavalue":{"value":"This well-written paper contains many interesting results from the structure of lattices of subquasivarieties. A quasivariety is any class of similar algebraic structures that is closed under isomorphisms, substructures, direct products, and ultraproducts. \\(L(Q(A))\\) denotes the lattice of subquasivarieties of the quasivariety \\(Q(A)\\), generated by the algebra \\(A\\). Let \\(K\\) be the three-element Kleene algebra \\(K=\\langle \\{0,a,1\\}; \\vee,\\wedge, \\sim, 0,1\\rangle\\), where omitting the operation \\(\\sim\\) gives a bounded chain, and \\(\\sim 0=1\\), \\(\\sim 1=0\\), \\(\\sim a=a\\). The main results are the following:   Theorem 1.1. The cardinality of \\(L(Q(K))\\) is continuum and contains the free lattice with countable many generators. In particular it does not satisfy non-trivial lattice identity.   Theorem 1.2. Let \\(K^ \\circ\\) denote the algebra obtained from \\(K\\) by adjoining a specific binary operation \\(\\circ\\). Then the lattice \\(L(Q(K^ \\circ))\\) is isomorphic to \\(\\omega+3\\).   In addition, these algebras are in some sense maximal: Let \\(K^*\\) be any algebra on the three-element set \\(\\{0,a,1\\}\\). If the clone of term functions of \\(K^*\\) properly contains that of \\(K\\) (resp. \\(K^ \\circ\\)), then \\(L(Q(K^*))\\) is countable (resp. finite).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330084$645F8371-8C5F-4194-B0C9-67A1D77057D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330084$AEF2E3A5-D8ED-4BD0-981A-103C5AAC2EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330084$2A79950F-4937-4546-829B-27685E34FB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330084$98574F1B-4457-43A8-96EF-030FE812B4DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67a8353514cd575921d5721882edb903353e1f73","datavalue":{"value":"614257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330084$2265855B-A691-4E18-8604-035705BB827C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330084$4E51F5D6-F4B2-47A3-B287-E3539F08956C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a2cb7d07b643112358883a9ee014dfc63c3392","datavalue":{"value":"lattices of subquasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330084$8235E23E-267B-42B7-A9D4-FEBD69945F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330084$D257437C-0341-429C-8750-ED37E81EE3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330084$AA5B3CF5-E756-4B40-820D-C6802595E6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e2919efda3d9828b76deb30a63d62ca5b413914","datavalue":{"value":"clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330084$5C34D7CE-B863-44A5-B8FC-4ABD383A2C27","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"172cc73a3282110845bcede4aa9f1220d7a3dce0","datavalue":{"value":{"entity-type":"item","numeric-id":1771856,"id":"Q1771856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330084$A43B6B4D-3597-4009-9332-F78B96C699E1","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":"Q1330084$BBA52D8F-6BE8-4EAE-AD9A-BF80FCE90E92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7ff1930aa9d453c5c81a4f4aee9065f9f1a519b","datavalue":{"value":"https://doi.org/10.1006/jabr.1994.1147","type":"string"},"datatype":"url"},"type":"statement","id":"Q1330084$1A81CEB5-4BCB-4651-ABED-0B9A8CE527C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ffe06bd599e1585801a035228962a910c393b4b","datavalue":{"value":"W2054191491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330084$874984BE-98BB-4322-9186-F5D55DF2DB28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6380f4bd2b4b22091bc56e8e41192872d27ac0a3","datavalue":{"value":"10.1006/JABR.1994.1147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330084$783E39F9-BA1A-45A1-9783-2C5B8C95B2FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade7516c21236af9679b51aacc3eb802075af026","datavalue":{"value":{"entity-type":"item","numeric-id":1080452,"id":"Q1080452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b26da978e127c9396b0348dad70453f4d41c58a","datavalue":{"value":{"amount":"+0.8052560091018677","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":"Q1330084$929A6D52-527F-40B9-90EB-1E1F4D429604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7314947d730ca0c5886f56dec11c0cfc9cc013","datavalue":{"value":{"entity-type":"item","numeric-id":1744617,"id":"Q1744617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"341a6d22cd08d1dcc86f342a52985dbc3c78ffd8","datavalue":{"value":{"amount":"+0.7991226315498352","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":"Q1330084$2847D768-ABA2-4A46-975C-CF6E7F0C0168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cab886ff060fba36e130d5e5c7bdc7f475a796","datavalue":{"value":{"entity-type":"item","numeric-id":5482325,"id":"Q5482325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d81eb1588ce0dfd2e9b12d7aa9262a72f11d731","datavalue":{"value":{"amount":"+0.7865508198738098","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":"Q1330084$47BFE190-F7DA-4BB0-9006-18B09C22E090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0fd8e093cba2b85e0f47721244270c5ad4bbb53","datavalue":{"value":{"entity-type":"item","numeric-id":1893124,"id":"Q1893124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7ab574a23dd276d108ab3891023f291a5b2cb4","datavalue":{"value":{"amount":"+0.7731332182884216","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":"Q1330084$98A4FE63-ECBF-460E-AB76-9A9684FA9AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"657c8e7e12efdd628cc878598f7ea679a470d430","datavalue":{"value":{"entity-type":"item","numeric-id":1342130,"id":"Q1342130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"020e8e3e063a71d024d6b820a26e58f4277eb9bc","datavalue":{"value":{"amount":"+0.7728309631347656","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":"Q1330084$130FB45A-3A60-42DC-B015-19E9CA570FC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1330084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1330084"}}}}}