{"entities":{"Q798683":{"pageid":800531,"ns":120,"title":"Item:Q798683","lastrevid":42702258,"modified":"2025-07-08T15:35:43Z","type":"item","id":"Q798683","labels":{"en":{"language":"en","value":"Regularity in double p-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871430"}},"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":"Q798683$8C2C67AE-9402-48E4-9761-C2DE5F91A1E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"997472ea5698892ead3aaf48e6f0d715ea6183f9","datavalue":{"value":{"text":"Regularity in double p-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798683$04680AA9-A21D-4D56-8DC0-B4C1B163A147","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9ada379de49c1941a96c14d165b5a03101b0320","datavalue":{"value":"0547.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798683$A7379E07-874B-42FE-B922-C62B4A84C4D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e808fbc98a24d092a6e7a25f88081ece27b106bc","datavalue":{"value":"10.1007/BF01182250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798683$D1E9DE9F-8964-40AA-A3C2-48DCDC1B5363","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":"Q798683$4A9BE091-2B9B-426B-835A-2E3A31292866","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q798683$C1400C39-AC96-4F50-ABDC-E64C697DF1CF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4afee666228d85c1e9f7290d4204a72600a9c7f0","datavalue":{"value":"An algebra \\((L;\\vee,\\wedge,^*,^+,0,1)\\) is a double p-algebra if \\((L;\\vee,\\wedge,^*,0,1)\\) is a p-algebra (i.e. pseudocomplemented lattice) and \\((L;\\vee,\\wedge,^+,0,1)\\) is a dual p-algebra (i.e. the dual to L is a pseudocomplemented lattice). A subset of an algebra is said to be regular if it is the class of exactly one congruence. A congruence \\(\\theta\\) on an algebra is called regular if every \\(\\theta\\) - class is regular.    Main results: (1) Let \\(\\theta\\) be a congruence of a double p-algebra. Then [0]\\(\\theta\\) and [1]\\(\\theta\\) are determined by any \\(\\theta\\) -class. (2) The regular congruences of a double p-algebra form an increasing subset R of Con(L) contained in [\\(\\Phi)\\), where \\(x\\equiv y(\\Phi)\\) iff \\(x^*=y^*\\) and \\(x^+=y^+\\). Moreover, \\(R=[\\Phi)\\) if and only if \\(\\Phi =id\\). (3) Let L be a finite distributive double p-algebra. Then the following statements are equivalent: (i) Con(L) has a non-trivial node (i.e. an element which is comparable with any element of Con(L)); (ii) \\(\\Phi\\) is the unique non-trivial node of Con(L); (iii) \\(\\Phi \\neq id\\) and \\(\\Phi\\) is a dual atom of Con(L). (For similar results see the author's paper [Banach Center Publ. 9, 369-378 (1982; Zbl 0508.06010)].)","type":"string"},"datatype":"string"},"type":"statement","id":"Q798683$D2D4878D-7DE5-4991-B1B6-C6840C9C46EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798683$CF6027CD-8E34-40F3-B81A-F2F2965FE87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798683$D21DA3CB-913B-4040-BE88-426C51D5AFF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd01b55e89ae8166f04c3af192a116350c828405","datavalue":{"value":"3871430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798683$90F4362B-276B-438B-A695-28D83B23395C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cf1a03aa517670eab9495eace938785dac0a3a0","datavalue":{"value":"double p-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q798683$8C564D36-64A1-40DF-9FE1-A61583751E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198aab7837b7b47af2df3b54c87c4be495598b35","datavalue":{"value":"pseudocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q798683$291F36A7-E6A8-419B-88A3-6F32F18AB3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"982b2281cd0373c84704236cbf69dd01f950b044","datavalue":{"value":"regular congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q798683$F6C9C491-AFC8-4393-B9CC-405467D65855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7594647252a06d2219ed4096968ac8ca30e63e5a","datavalue":{"value":"finite distributive double p-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q798683$FAE47758-2AC1-4DBD-B8DD-474B9ECC2AD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eba64a939c95436767b41181d5897fe87d7dbc07","datavalue":{"value":{"entity-type":"item","numeric-id":762516,"id":"Q762516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798683$D7012F8F-239D-4707-AE59-656F4CD7658C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798683$BEBF47EF-BDF5-48C1-A964-E25714D21E4D","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":"Q798683$FA4D90CA-AAD8-4BCF-8714-2518453FB432","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d2a57c10359cd5d1874f8a2f0b8d56b56ec26a","datavalue":{"value":{"entity-type":"item","numeric-id":3943003,"id":"Q3943003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798683$837C7BF0-E3E1-4901-B1FE-E0E6944C7E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51680acd877604a2e9336434719d492838f08b4a","datavalue":{"value":{"entity-type":"item","numeric-id":5663928,"id":"Q5663928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798683$D3003A6E-4407-4E73-A1D5-DC1538C40C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a336770cf45a04dbb847ad754ebaf576b0beadb","datavalue":{"value":{"entity-type":"item","numeric-id":5906036,"id":"Q5906036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798683$82A92F11-FDD9-4804-9008-E70E7D43E04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52dd4bdd1e044b2b29af4e8e3e10a13c5174fede","datavalue":{"value":{"entity-type":"item","numeric-id":1139068,"id":"Q1139068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798683$4E5AD8B3-1B8B-4501-9D64-BD13600451E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac032de799ed6c8c16305737bc9ec62a2ce312af","datavalue":{"value":{"entity-type":"item","numeric-id":1393260,"id":"Q1393260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798683$F10EE0E1-2DC7-40A5-8AD6-34DF493D50CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad69b636d199095dcfd8e5e19092ffa30a0bd68","datavalue":{"value":{"entity-type":"item","numeric-id":2558876,"id":"Q2558876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798683$3D62465E-846B-4618-85F9-2B0089FF34F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8db553ffde18dd062532d5b758e24d0e24a03f2c","datavalue":{"value":{"entity-type":"item","numeric-id":1140669,"id":"Q1140669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798683$A54C06C9-DC9C-4051-BDE8-D60539C8B2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf923cce4ec99bec62ca011247eafaf848a2a9e8","datavalue":{"value":{"entity-type":"item","numeric-id":3874278,"id":"Q3874278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798683$964E105B-499A-4D22-AF8A-2AFC53E09D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"020482512cc743abb3e295de572eb44e9f810f99","datavalue":{"value":{"entity-type":"item","numeric-id":4745863,"id":"Q4745863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798683$57330162-3100-43E7-B666-28DFC8A3E2B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48982575c2f590fc601caa4abeb2e1bb536c8ed2","datavalue":{"value":{"entity-type":"item","numeric-id":3199619,"id":"Q3199619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a497b9250582f468216e00593ae32e5114e6249","datavalue":{"value":{"amount":"+0.8508343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798683$BF0F8EA2-D4FB-45C4-9EED-02FC0A0056B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d45c7f234f026931defbdd1a7da3e64d7b47a9","datavalue":{"value":{"entity-type":"item","numeric-id":4277952,"id":"Q4277952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb1000a22250f65de7c62ad3eb7a15e7dedd491","datavalue":{"value":{"amount":"+0.842725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798683$C88B42E3-7A8C-4950-9474-037F97A4BDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6885871a59c8fa334eeabe6039f6139c373b0954","datavalue":{"value":{"entity-type":"item","numeric-id":4005680,"id":"Q4005680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc8e8f2e3bace1ca7448166d42211716318bb03","datavalue":{"value":{"amount":"+0.8239759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798683$79122829-78B7-4193-9948-AD12A17734AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29608c1e48f3c0c39cb26c8427518a3fd82fab7b","datavalue":{"value":{"entity-type":"item","numeric-id":1061157,"id":"Q1061157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b394ddf5daf68353fac4c55edf9f6ac0779fae4d","datavalue":{"value":{"amount":"+0.81014216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798683$B520018F-0090-4DE8-A29D-12C64AC61873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96e1e9b8280849b1efd35d534f963e70d74d35c","datavalue":{"value":{"entity-type":"item","numeric-id":791555,"id":"Q791555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e488747e86c58714dc24e998505741dc36fe9c8b","datavalue":{"value":{"amount":"+0.7976655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798683$3BCD8E5E-542D-4AD8-A9AF-60175C8F6FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba844ab0f459f8ca01b86bb12ed1496fb10d3d8","datavalue":{"value":{"entity-type":"item","numeric-id":3982184,"id":"Q3982184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d8264e2e732a7be081080bf6cf25b486f0273c","datavalue":{"value":{"amount":"+0.7935096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798683$B9A5D18E-A566-486D-8BCB-C5FF20B2465C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de0ccdea1555da8661bf9b3c8c16846b03adb87","datavalue":{"value":{"entity-type":"item","numeric-id":4893686,"id":"Q4893686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7aa44c9491bf4e454265538db4b17bf183f25e","datavalue":{"value":{"amount":"+0.7890057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798683$D4A74470-7B0B-4D3A-B93C-2505085AAA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"153c3d300e90e196f0488e0ded97c0e0633f8430","datavalue":{"value":{"entity-type":"item","numeric-id":2520767,"id":"Q2520767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d45103cbfa3da5f9de5fc786aef49a90c8f23ed","datavalue":{"value":{"amount":"+0.7751917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798683$0D390C8D-22C9-446C-B50B-D65271E4A88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c1ba6c8216331bc35252b7482c08f5dca9345a","datavalue":{"value":{"entity-type":"item","numeric-id":1104954,"id":"Q1104954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4bd8e233dfccb085f9f972017c144489d9f3d1","datavalue":{"value":{"amount":"+0.75286317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798683$199B4140-65A9-46F4-A7E6-FB41AAE69CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257db4e04380a0b39446ff8c2b63aa74daad4d53","datavalue":{"value":{"entity-type":"item","numeric-id":4615843,"id":"Q4615843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda45998eb431e90351037790405b4209d848651","datavalue":{"value":{"amount":"+0.74819076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q798683$2EF2E29B-F9BF-49EE-95EF-227386580A2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798683"}}}}}