{"entities":{"Q810496":{"pageid":812344,"ns":120,"title":"Item:Q810496","lastrevid":49540726,"modified":"2026-01-07T14:45:44Z","type":"item","id":"Q810496","labels":{"en":{"language":"en","value":"On the number of closed subsets of linear functions in the 6-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4213962"}},"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":"Q810496$0641D707-468A-4564-93C6-B56EB46EE428","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8adbff2d33aa8e0787e8f1daf6cb2e7e961fa410","datavalue":{"value":{"text":"On the number of closed subsets of linear functions in the 6-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810496$3EEFB038-8A67-4A97-A0D4-B046482B85D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0272e38c210d9c644f64417c0ae330ade15643a","datavalue":{"value":"0734.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810496$B803FC10-51D2-4405-9EF0-22055403AE12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bce3a167ebd7bbf19fe7ac1a3b4470a6e0e0f8e","datavalue":{"value":{"entity-type":"item","numeric-id":532056,"id":"Q532056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810496$B4CA7A51-0CB5-4647-9735-2F3E0D1C474F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3246c48392f2ac979305610964ed559b6914d8b3","datavalue":{"value":{"entity-type":"item","numeric-id":810495,"id":"Q810495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810496$ABF5A259-5AF9-40EC-8CF6-9C0B0B46E860","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810496$609EB20A-2B85-4540-BBFE-41CCC5135F94","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":"Q810496$C279D4D3-F278-409F-8906-BFCEB73B5945","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc0205d7c3de486edf410de8033509c8c79ac391","datavalue":{"value":"https://eudml.org/doc/138470","type":"string"},"datatype":"url"},"type":"statement","id":"Q810496$D47AAA65-FB31-44CC-881B-5ED0C108793D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2af988bda6b9582aef62a1cbb2aa2d43dfb4f6f","datavalue":{"value":"Let \\(E_ k:=\\{0,1,...,k-1\\}\\), \\(P_ k^{(n)}:=\\{f^{(n)}|\\) \\(f^{(n)}: E_ k^ n\\to E_ k\\}\\), and let \\(P_ k:=\\cup_{n\\geq 1}P_ k^{(n)}\\) be the set of all functions of the k-valued logic. With \\(\\zeta\\), \\(\\tau\\), \\(\\Delta\\), \\(\\nabla\\) and * we denote the Mal'tsev operations over \\(P_ k\\). Then the iterative algebra \\({\\mathfrak P}_ k:=(P_ k;\\zeta,\\tau,\\Delta,\\nabla,*)\\) is an algebra of the type (1,1,1,1,2). A subset of \\(P_ k\\) is said to be closed if it is the underlying set of a subalgebra of \\({\\mathfrak P}_ k\\). One of the well examined closed subsets of \\(P_ k\\) is the set  \\[  L_ k:=\\cup_{n\\geq 1}\\{f^{(n)}\\in P_ k| \\quad \\exists a_ 0,...,a_ n\\in E_ k:\\;f(x_ 1,...,x_ n)=a_ 0+\\sum^{n}_{n=1}a_ i\\cdot x_ i mod k\\}.  \\]  In particular, A. A. Salomaa, J. Bagyinszkij and J. Demetrovics determined the lattice \\({\\mathcal L}_ k\\) of all closed subsets of \\(L_ k\\) for the case that k is a prime number. By A. Szendrei it was proved that all closed sets of linear functions in square-free-valued logic are finitely generated and the order of these sets is at most 3. Furthermore, it is known that \\(| {\\mathcal L}_ k| =\\aleph_ 0\\) if k is not square-free. The main purpose of the present note is to prove that the number of closed subsets of \\(L_ 6\\) is 7524. We remark that the following table is a consequence of this:  \\[ \\begin{matrix} k& 2& 3& 4& 5& 6& 7& 8& 9\\\\ |{\\mathcal L}_ k| & 15& 38& \\aleph_ 0& 319& 7524& 470& \\aleph_ 0& \\aleph_ 0 \\end{matrix} \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q810496$A77FD7EC-16ED-4DAD-9EF8-F6AC728215E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810496$497A0A65-D9B6-4A3E-AEEF-EEE6B97E5B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810496$985DB625-0C87-4B69-BA21-BD4E03BF4200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810496$3399F0D2-DDD0-45D0-A7A1-2CBBBFB27178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810496$66129214-D2CC-412D-9078-8C4567798037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810496$46772476-371E-49D0-85B4-53C454083046","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7b82a6b47f6b9ca8af2b6fddb5a5feae026d775","datavalue":{"value":"4213962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810496$8CDCFF29-0AEF-4170-9441-363691FCF26B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75a495e09f2698c72a289bb0c81d695e23ed78d","datavalue":{"value":"closed subsets of linear functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q810496$234CE74F-5A19-4DBF-9DDF-CA873BC3747C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d32b0bcc7bb39c92b92984e1db79a0a14ddfb744","datavalue":{"value":"clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q810496$3F22A9E0-9259-45A7-BD60-9D729781AF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07dffaa62196ea66e567603ba68be316a07506c3","datavalue":{"value":"Mal'tsev operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q810496$4FD86811-96BE-4437-930B-2CFDFFD8C605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"515d3916acf8c87e9d6a57eec7bd685dfb958c96","datavalue":{"value":"iterative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q810496$19531E88-DA88-4CA5-9E90-09BEC495A436","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":"Q810496$BEF51AFC-984A-4223-A1D2-DCC6483DA57E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2afca68590e5e7dd9cad3943340bc78f1f681f4","datavalue":{"value":{"entity-type":"item","numeric-id":3804675,"id":"Q3804675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9f4486680f98e8dfe533dc013996d938c4bd81","datavalue":{"value":{"amount":"+0.8665105104446411","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":"Q810496$0D9CB05F-2C85-4E0B-B60D-92CC47886D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f2dc6d9b9c75389d4992c2a3d50d2e68ae8720","datavalue":{"value":{"entity-type":"item","numeric-id":3323925,"id":"Q3323925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78805579ffd8ce2f33d275aab2ead65eee82dff7","datavalue":{"value":{"amount":"+0.8382502794265747","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":"Q810496$A327D4DA-7462-4816-9E55-7A2DAB18035C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0e7552e14e62b9dd085b1505a8c491d36a666a","datavalue":{"value":{"entity-type":"item","numeric-id":3792659,"id":"Q3792659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9160d586ad24b8da95bc3122f567f4a54aec348d","datavalue":{"value":{"amount":"+0.8023372888565063","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":"Q810496$3B4B549A-CA57-4771-AEBB-1FB54ACD6A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"303bcd92c3a1c29e145c7eae6757dd8ae44755ab","datavalue":{"value":{"entity-type":"item","numeric-id":3786471,"id":"Q3786471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8cbb92504aecd3e0fb34064a9138fae9d923ae","datavalue":{"value":{"amount":"+0.8001819849014282","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":"Q810496$29291208-AB91-4430-AA40-BB5A4A331520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b08135f1080868cf221dfcaa01cef9ddee18152","datavalue":{"value":{"entity-type":"item","numeric-id":3724302,"id":"Q3724302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2a9c76a4bfc55289e7fbd097b47ee4d4550001","datavalue":{"value":{"amount":"+0.7984243035316467","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":"Q810496$61274AF8-AB8F-4F9E-8C1F-3E7398F6928B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:810496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:810496"}}}}}