{"entities":{"Q2474104":{"pageid":2484847,"ns":120,"title":"Item:Q2474104","lastrevid":50294648,"modified":"2026-01-13T18:46:20Z","type":"item","id":"Q2474104","labels":{"en":{"language":"en","value":"Balanced pseudocomplemented Ockham algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5242746"}},"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":"Q2474104$DC6B4C54-5014-4867-A83C-06CC32AD43D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e9e9d85a5a248126edcf20ad4c5db2abe936193","datavalue":{"value":{"text":"Balanced pseudocomplemented Ockham algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474104$795FEFDF-3EA3-4884-BA23-0D9A65EE7F77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bf7d1eca129d45e6a19ffa1ab2b6cd5a6d5c337","datavalue":{"value":"1134.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474104$4FEF4034-7287-4A4D-9446-024D1D7ABC94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8990d461f64289ce59ea83dd31bfe687c480a2","datavalue":{"value":{"entity-type":"item","numeric-id":377857,"id":"Q377857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474104$A52A54AE-7A39-4C32-AF62-1378D4CF2BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b14d89e9cece556daca5a3383f9116eda29498f7","datavalue":{"value":{"entity-type":"item","numeric-id":1928138,"id":"Q1928138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474104$A8DD9B53-7254-45B5-9F09-5F9ABF6C7F6B","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":"Q2474104$CE617F7B-68DA-4E86-8484-516F127CF175","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"320775bc8330b9df723b904d964cd89baad4e710","datavalue":{"value":{"time":"+2008-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474104$D47866F6-5D49-4755-85C5-C041C05FD63E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29994bc51047754214a748218033b7b25c3a8d28","datavalue":{"value":"The authors investigate a particular subclass of pseudocomplemented Ockham algebras\\break \\((L,\\wedge, \\vee,f, *,0,1)\\) where \\((L,\\wedge, \\vee,f,0,1)\\) is an Ockham algebra, \\((L,\\wedge, \\vee,*,0,1)\\) is a \\(p\\)-algebra, and the operations \\(x\\rightarrow f(x)\\) and \\(x\\rightarrow x^{*}\\) satisfy the identities \\(f(x^{*})=x^{**}\\) and \\([f(x)]^{*}=f^{2}(x)\\).   An Ockham algebra is a bounded distributive lattice \\(L\\) together with a dual endomorphism \\(f:L\\rightarrow L\\). The class of Ockham algebras is denoted by \\(\\mathbf{O}\\). The well-known subclasses of Ockham algebras are Berman subclasses \\(\\mathbf{K}_{p,q}\\) in which the dual endomorphism \\(f\\) satisfies the condition \\(f^{2p+q}=f^{q}\\), for \\(p\\geq 1\\) and \\(q\\geq 0\\). A double \\(\\mathbf{K}_{p,q}\\)-algebra is an algebra \\((L,f,k)\\) in which both \\((L,f)\\) and \\((L,k)\\) are \\(\\mathbf{K}_{p,q}\\)-algebras with a certain positive integer \\(n\\) such that \\(fk=k^{2n}\\) and \\(kf=f^{2n}\\). A (distributive) \\(p\\)-algebra (or lattice with pseudocomplementation) is a (distributive) lattice \\(L\\) with a smallest element 0 together with a mapping \\(*:L\\rightarrow L\\) such that \\(x\\wedge y=0 \\Leftrightarrow y\\leq x^{*}\\). In particular, a distributive \\(p\\)-algebra \\((L,*)\\) is called a Stone algebra if for every \\(x\\in L, x^{*}\\vee x^{**}=1\\). The class of distributive \\(p\\)-algebras is denoted by \\(\\mathbf{p}\\), and that of Stone algebras by \\(\\mathbf{S}\\).   The authors consider a particular subvariety of pseudocomplemented algebras: a balanced pseudocomplemented Ockham algebra \\((L,f,*)\\) which is a bounded distributive lattice with two unary operations such that \\((L,f)\\in \\mathbf{O}, (L,*)\\in \\mathbf{p}\\) and \\(f(x^{*})=x^{**},[f(x)]^{*}=f^{2}(x)\\), for every \\(x\\in L\\). The variety of balanced pseudocomplemented Ockham algebras is denoted by \\(\\mathbf{bpO}\\). The authors show that there are precisely eleven non-isomorphic subdirectly irreducible members in the class of these algebras and give a complete description of them (by Hasse diagrams) in Theorem 12. These algebras form an ordered set under the following order: \\(A\\leq B \\Leftrightarrow A\\) is an isomorphic image of a subalgebra of \\(B\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474104$47A1F8CE-3A6A-4075-BD6E-D28CCF39F4C9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474104$FA18A3F7-76DD-4A4C-A01A-FB166902AFAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474104$2919ED4D-D1B9-46E3-BA0D-6248BB48D896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474104$0BDADCF2-94FD-41C6-B37D-653E7CCF4831","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f3b176b5bb20314183b1ff5a7edad3aa67c42d0","datavalue":{"value":"5242746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474104$C86FC0DA-C86F-4F6D-BABD-5AE791A2CD23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99be35ae63b1b99794806247856e0300baca2cab","datavalue":{"value":"pseudocomplemented algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474104$F17243EB-4DA3-4233-98B2-67BB78A45CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"298f6f198fe992f7ee975eca529306eb40a507bd","datavalue":{"value":"Ockham algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474104$4134DBBC-E710-4CA2-9BF6-D3BF8EB6DBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fc673a957aa975637538413d2dc66c7b704df7","datavalue":{"value":"subdirectly irreducible","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474104$3185E59E-7EB3-469E-AA6F-A7ED8BF5B118","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":"Q2474104$AA2EBE0E-DA9D-467D-A045-9153CBA40A26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36b68d675847cf259089efeddab34b59174a5c49","datavalue":{"value":"https://doi.org/10.1007/s00012-007-2029-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474104$A750989E-E23B-40CB-85EA-F5A5FC860493","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d6cf583de3aa66d7a316201ca4937e6f6e6c777","datavalue":{"value":"W2170314481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474104$222E6504-277B-44EE-99B8-C34F40D5FFD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cb65827187b16901f2590bc2e96166b87a841bf","datavalue":{"value":"10.1007/S00012-007-2029-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474104$7B6DB6E9-B00C-4924-9CA5-1A8CDA1FF7E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b48006cf2f51b26335e3fa372b789c91450de8a","datavalue":{"value":{"entity-type":"item","numeric-id":1005956,"id":"Q1005956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47b833f94a7f7f6883535e48c7816f4183310f5","datavalue":{"value":{"amount":"+0.912986695766449","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":"Q2474104$8A36EF84-EF2B-45DD-A9EA-1398E22FBAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d1aae8092f04dd5d6809f91dc4691fb0d711fb","datavalue":{"value":{"entity-type":"item","numeric-id":1931110,"id":"Q1931110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663e9bda276095676d778c434593ba0916e9dc9d","datavalue":{"value":{"amount":"+0.9085359573364258","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":"Q2474104$D8CA0304-BC5F-4223-953F-9C17820C37EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54846bf0b5e78d0f76f06f4d7a06679f46c293b0","datavalue":{"value":{"entity-type":"item","numeric-id":3597570,"id":"Q3597570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7afc76d9511c8c6123019285355b30b8c3aa8f1","datavalue":{"value":{"amount":"+0.8924140930175781","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":"Q2474104$01D5FF3A-4579-4E82-B1CC-54F34F2E92E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de6ef536ca80d0162ea1ba8d7cede03881ff506","datavalue":{"value":{"entity-type":"item","numeric-id":4361024,"id":"Q4361024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4823cd3092852a03dc12938e673ef1b7d7797de","datavalue":{"value":{"amount":"+0.8858071565628052","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":"Q2474104$1AF1409E-B446-4C98-B25B-B0C19B70332B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03adc0458c644bc9d49c4e99f0e350103ad7f781","datavalue":{"value":{"entity-type":"item","numeric-id":5455719,"id":"Q5455719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05dbdaba9bdbd314ac34ccaa4a4f2fbc56245c83","datavalue":{"value":{"amount":"+0.8842499256134033","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":"Q2474104$667B9294-F7ED-4F09-AAEA-85EE51B8B5F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2474104","badges":[]}}}}}