{"entities":{"Q622623":{"pageid":624399,"ns":120,"title":"Item:Q622623","lastrevid":78524024,"modified":"2026-05-06T11:47:54Z","type":"item","id":"Q622623","labels":{"en":{"language":"en","value":"Congruences on a balanced pseudocomplemented Ockham algebra whose quotient algebras are Boolean"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5844659"}},"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":"Q622623$0186A05F-B8D0-41E2-80AA-2BA28F6AC362","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da4fe1a1eddd307b7b18ca59f844551b31f71196","datavalue":{"value":{"text":"Congruences on a balanced pseudocomplemented Ockham algebra whose quotient algebras are Boolean","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q622623$1A6174DB-1730-4355-B939-7ABAB5F7533B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94aab18cb34d5f3cba672211e97c0d403c8b914d","datavalue":{"value":"1229.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622623$56028E84-1DFC-459C-A4B2-DBF24F9CDFFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d276d38ecd223349258de502037c6d51523b4803","datavalue":{"value":{"entity-type":"item","numeric-id":495831,"id":"Q495831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622623$FBCF918C-B3EB-4DFB-B1A3-3520D93F1232","rank":"normal"},{"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":"Q622623$A07A2FB5-8E00-4DE5-B94F-D3E2DDFDA059","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622623$54F6E3BE-74A9-4A83-BFDE-6603469D8097","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00e3a9eccfe5d0e74245ac3c66cd13d7e27c78b","datavalue":{"value":{"time":"+2011-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q622623$723F0C05-2661-4C3E-8A88-ADF7AD6FEFC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b870aa3b470687624c524cbb1d567ad7f94abdb","datavalue":{"value":"An Ockham algebra is a bounded distributive lattice \\(L\\) endowed with a dual endomorphism \\(f\\). A balanced pseudocomplemented Ockham algebra (bpO-algebra) is an algebra \\((L;f,*)\\) where \\((L;f)\\) is an Ockham algebra, \\((L;*)\\) is a pseudocomplemented lattice, and the identities \\(f(x*)=x^{**}\\) and \\((f(x))^*=f^2(x)\\) hold. Congruences and quotients of a bpO-algebra are defined in a natural way, while ideals are just lattice ideals. A congruence \\(\\theta\\) is called pro-Boolean if the quotient \\(L/\\theta\\) is a Boolean algebra, while a pro-Boolean ideal is defined as an ideal of the form \\(I=\\{x\\in L\\mid x\\theta0\\}\\) for some pro-Boolean congruence \\(\\theta\\). The sets of pro-Boolean congruences and pro-Boolean ideals are denoted by \\(\\text{Con}_B(L)\\) and \\(\\text{I}_B(L)\\), respectively. The present paper extends results of \\textit{P. J. V. Rodrigues} and \\textit{H. J. Silva} [Commun. Algebra 31, No. 11, 5391--5404 (2003; Zbl 1025.06006)] from Ockham algebras to bpO-algebras.  The authors provide characterizations of pro-Boolean congruences within congruences (Theorems 1 and 7), and of pro-Boolean ideals within ideals (Theorem 4). With each pro-Boolean ideal \\(I\\) there is associated the pro-Boolean congruence \\(\\rho(I)\\) defined by   \\[ (x,y)\\in\\rho(I)\\Longleftrightarrow(x\\wedge f^3(y))\\vee(f^3(x)\\wedge y)\\in I; \\]   conversely, every pro-Boolean congruence is of the form \\(\\rho(I)\\) for some pro-Boolean ideal \\(I\\) (Theorem 5). Theorem 6 provides a sufficient condition in order that \\(\\theta(I)=\\rho(I)\\), where \\(\\theta(I)\\) is the congruence defined by \\((x,y)\\in\\theta(I)\\Longleftrightarrow(\\exists i\\in I)x\\vee i=y\\vee i\\). The lattices \\(\\text{Con}_B(L)\\) and \\(\\text{I}_B(L)\\) are isomorphic by Theorem 8. The last theorem furnishes an intrinsic description of those lattices \\(\\text{Con}_B(L)\\) and \\(\\text{I}_B(L)\\) that are Boolean algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q622623$8659FD4D-39B1-49DA-A0BF-56169D561A5B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622623$7B00DBED-8851-4A8F-9ED1-DCC1AB70FB50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622623$A09DFA98-4937-4CA2-8FA8-9A062D1AC1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622623$FAE92D53-1EE3-4E02-A7BD-7C863AD07145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622623$362ADDF1-0359-4AE1-B5C3-4616B85CFDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622623$F4293127-8958-47D4-9B9E-ECD8558A885F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04d774bca3983a27f0422dd55fa570c398a8bfa5","datavalue":{"value":"5844659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622623$7E7A1D72-9894-48BD-B7F7-C601340F311A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"298f6f198fe992f7ee975eca529306eb40a507bd","datavalue":{"value":"Ockham algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q622623$1DCD08D1-B0A5-4F99-9FA6-4E2F59BC963A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198aab7837b7b47af2df3b54c87c4be495598b35","datavalue":{"value":"pseudocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q622623$9DA19A0C-B9FB-467E-BEA1-88C289A87637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9b6ab6fd7b1600d56cebc49091736f9fc9a2822","datavalue":{"value":"pro-Boolean congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q622623$5DDAF1AA-222F-4C23-8F7E-50B23EBD573C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec9a1967d9232bf466c6d9b25167bb6665527132","datavalue":{"value":"pro-Boolean ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q622623$8C6A30BA-395B-4B5C-8CD4-287B0EDED79A","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":"Q622623$3ED761BE-84B4-41C7-958D-0B60AA80C9BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d830a0c593af375f1f5971d36a97f78eed46ec0","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9292-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q622623$795DC2B1-F878-4B6B-B2D0-F9418C1298CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96ca67572c620b0c004fb44d3894d9b8b952655b","datavalue":{"value":"W2089416970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622623$D7E1854C-55E4-4173-BE55-F8E18DC05553","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2b2c7e6c6e5e17928187efe1a24f4a5f153ac4","datavalue":{"value":{"entity-type":"item","numeric-id":4700479,"id":"Q4700479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622623$C50B3D96-8056-49BC-803A-CCB5EE729B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228b0e048c69dee38a80e3c2c0718193f2a93b13","datavalue":{"value":{"entity-type":"item","numeric-id":4308745,"id":"Q4308745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622623$E6522C6F-1699-4FCB-AD9E-DBF5D27F9FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3bcdebde1cb85350e8f7ddd826e180cde82663","datavalue":{"value":{"entity-type":"item","numeric-id":5447912,"id":"Q5447912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622623$3C3D98FB-D4E1-4D5A-8F2F-A82DC2264D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a3598d157d118d8fca2dcdf2aba70e70275c5e","datavalue":{"value":{"entity-type":"item","numeric-id":2474104,"id":"Q2474104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622623$ECEDBB26-8EDA-4AB8-B060-1D19FA08D507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64699e6cb7a88babbe6313de3ce8c8fb74ce19c3","datavalue":{"value":{"entity-type":"item","numeric-id":4429451,"id":"Q4429451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622623$526A5B23-1E5E-48BE-956F-6E6DA7EE2B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034653c538f90e259663827eef9add530e8c7836","datavalue":{"value":{"entity-type":"item","numeric-id":5455719,"id":"Q5455719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622623$DA1805F3-9580-4605-B9EA-605A7D36BC90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a9755ca52f46a5735a5f7b5e34a7a137c6682de","datavalue":{"value":"10.1007/S11225-010-9292-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622623$0212F953-EAA4-4B6B-BA9B-6369D431236F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d81c8da70c43813aae7197e44b079afc7783146","datavalue":{"value":{"entity-type":"item","numeric-id":1034324,"id":"Q1034324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d549a1e95300a738a999c0cc45d006772a694a","datavalue":{"value":{"amount":"+0.8848432898521423","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":"Q622623$80CF01E9-1D68-4062-8579-23250F4B3CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffba85c8b25be31ed1818374edca19344763809","datavalue":{"value":{"entity-type":"item","numeric-id":4429451,"id":"Q4429451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d023b99e7d8e626f6d11cd32973e6b88c78ac087","datavalue":{"value":{"amount":"+0.8688612580299377","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":"Q622623$6886B121-84F7-4E87-A8BD-C89EF97DD941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bb7c6c149cd81910a83fcc61585546f8f6a338","datavalue":{"value":{"entity-type":"item","numeric-id":2474104,"id":"Q2474104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164a0b80aee435b6944d55310bd6dca54d4bd8ae","datavalue":{"value":{"amount":"+0.8688610792160034","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":"Q622623$A1D39E87-86F0-492D-8DCA-61D7AD6D628C","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":"19510915b801321b23fbbd070752a8f11f949254","datavalue":{"value":{"amount":"+0.8573605418205261","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":"Q622623$81DF9FEC-C368-42E0-AB30-25C0E1605032","rank":"normal"},{"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":"bfff6ceca4de7174dac8eeba2e71af21c6cfa085","datavalue":{"value":{"amount":"+0.8430240154266357","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":"Q622623$9CEB6086-E0CD-46E9-879A-83E5DA2C753C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruences on a balanced pseudocomplemented Ockham algebra whose quotient algebras are Boolean","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruences_on_a_balanced_pseudocomplemented_Ockham_algebra_whose_quotient_algebras_are_Boolean"}}}}}