{"entities":{"Q2374391":{"pageid":2385134,"ns":120,"title":"Item:Q2374391","lastrevid":57887376,"modified":"2026-04-02T23:12:29Z","type":"item","id":"Q2374391","labels":{"en":{"language":"en","value":"Unification on subvarieties of pseudocomplemented distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6663937"}},"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":"Q2374391$5A8B48CD-5DAB-4CD2-8148-2AA9A2BC0EDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b7108d6708081611dbd83d3661d7994f08eca5c","datavalue":{"value":{"text":"Unification on subvarieties of pseudocomplemented distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2374391$D4647A79-D882-4C06-9C5C-B65F37485C1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27792c30b0aa435d4c4640ca30a1c68317e59c3b","datavalue":{"value":"1375.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374391$692CDBD0-9DD1-4207-84BB-19B46AF21A5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e86546ccf95dcd6b28a6bf25c6abdeb6334e9a16","datavalue":{"value":"10.1215/00294527-3659307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374391$C4EB4637-BF33-4079-BCED-A18BC46EC2C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c057358ebb9c2e72e1be7d59fe0ff665a9c77c26","datavalue":{"value":{"entity-type":"item","numeric-id":321582,"id":"Q321582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374391$E269DD86-969E-4BF6-9057-15A29EB4BA67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374391$E8FBE19A-9030-464F-B697-E0272CE770A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3d1669fd63345cf64b2617c12ed41ffb07d8520","datavalue":{"value":{"time":"+2016-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2374391$A47C8B6D-89D0-45FC-967E-8E43B65998CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd0776fed66f875cd6f3d565482532927e0d5bc9","datavalue":{"value":"https://arxiv.org/abs/1501.06142","type":"string"},"datatype":"url"},"type":"statement","id":"Q2374391$A37EEC5D-930A-4A06-B24F-BBE8C73C0348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c801e21d563bca67e3c319770d39894c38886c88","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1473686418","type":"string"},"datatype":"url"},"type":"statement","id":"Q2374391$F370EAC2-96B6-4046-B319-465AEB5F2E38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3daa544f975c595a7c86c3d87e3f28a92ee91e23","datavalue":{"value":"The author studies unification in the implication-free fragment of intuitionistic logic, that is, the equational theory of pseudo-complemented distributive lattices (\\(p\\)-lattices) and its extensions. He proved the following two important results.  The first is that Boolean algebras form the only nontrivial subvariety of \\(p\\)-lattices that has type 1, while the others have nullary type in   Theorem 4.2: Let \\(\\mathfrak{V}\\) be a non-trivial subvariety of \\(\\mathfrak{B}_{\\omega}\\). Then the following holds:  \\[  (\\mathfrak{V}) = \\begin{cases} 1 & \\text{if }\\mathfrak{V}=\\mathfrak{B}_0\\\\ 0 & \\text{otherwise,} \\end{cases} \\]  where \\(\\mathfrak{B}_0\\) is the class of Boolean algebras.  The second result is about the type of each unification problem in every extension of the equational theory of \\(p\\)-lattices, Theorem 7.5 and Theorem 8.8, that is,   Theorem 7.5: Let \\(X\\) be a nonempty poset in \\(\\mathcal{P}^f\\). Then  \\[ \\text{Type} (U_{\\mathcal{P}^f}(X)) = \\begin{cases}|\\max (\\mathcal{C}(X))| & \\text{if each }Y\\in\\max (\\mathcal{C}(X))\\text{ satisfies (*)}\\\\ 0 & \\text{otherwise}. \\end{cases} \\]  and  Theorem 8.8: Let \\(X\\) be a nonempty poset in \\(\\mathcal{P}_{n}^{f}\\). Then  \\[ \\text{Type} (U_{\\mathcal{P}_n^f}(X)) = \\begin{cases} |\\max (\\mathcal{C}_n(X))| & \\text{if each }Y\\in\\max (\\mathcal{C}(X))\\text{ satisfies }(*_n)\\\\ 0 & \\text{otherwise}. \\end{cases} \\]  In the statements above, the symbols represent the following.  1. \\(\\mathfrak{B}_{\\omega}\\) is the variety of \\(p\\)-lattices and also means the category of \\(p\\)-lattices as objects and homomorphisms as arrows.  2. For a finite poset \\((X,\\leq)\\), the condition (*) is that if for each \\(x,y \\in X\\) the least upper bound \\(x\\vee y\\) exists in \\(X\\) and it is such that \\(\\min_X (x\\vee y) = \\min_X(x) \\cup \\min_Y(y)\\), where \\(\\min_X(x)\\) is the set of minimal elements of \\(X\\) below \\(x\\).  3. \\(\\mathcal{P}^f\\) is the category whose objects are finite posets and whose arrows are \\(p\\)-morphisms. Moreover, \\(\\mathcal{P}_n^f\\) denotes the full subcategory of \\(\\mathcal{P}^f\\) whose objects \\(X\\) satisfy \\(|\\min_X(x)| \\leq n\\) for all \\(x\\in X\\).  4. \\(U_{\\mathcal{P}^f}(X)\\) is the class of morphisms \\(v: Y\\to X\\) with \\(Y\\in \\mathcal{P}^f\\) satisfying (*).  5. \\(\\mathcal{C}(X)\\) is the posets of connected subsets of \\(X\\) ordered by set inclusion, where a subset \\(Y\\subseteq X\\) is called connected if \\(Y\\) satisfies  (i) \\(\\min_X(Y) \\subseteq Y\\);  (ii) for each \\(x,y\\in Y\\) there exists \\(z\\in Y\\) such that \\(x,y\\leq z\\) and \\(\\displaystyle \\min_X(x) \\cup \\min_X(y) = \\min_X(z)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374391$466D9275-E6F2-4E96-81B2-E5A5DF7AD1AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fef49cf07248ee3df4000a1a71cf1884173cc9aa","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374391$09B9DBC1-AAA0-4F31-96C7-134987957284","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374391$C1B715F2-B4A4-4DF8-A7E5-3280108D5D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9577ccb6973103e8f41cb9e37851a235447d8805","datavalue":{"value":"08B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374391$0860128A-403D-49CA-B396-6F637F575FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374391$448AB94B-486A-4DDD-86FB-7AA3371A433E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374391$5B754C88-D40E-4CFC-B3CE-DEBDF8EDD75B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73abc6ed3df296d94fedb9f4cbb499f5b1623159","datavalue":{"value":"6663937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374391$CD583DB3-0709-42E2-A6A6-6E750928D4E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d34911d56f14d2757188f1fd8282bfb75184d6","datavalue":{"value":"unification type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374391$38495B83-43BE-4934-B1E9-D945688E08FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24053463d3d09db0bb37e1821671cf0c98e2fe7","datavalue":{"value":"equational unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374391$3834DB84-2615-4A57-A3E9-E917EAA22D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d03f86d4cbf7e113dc7a1ed8f1ad28047a100700","datavalue":{"value":"projective algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374391$536F5DDC-C898-433E-B197-CA32F4E3FF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198aab7837b7b47af2df3b54c87c4be495598b35","datavalue":{"value":"pseudocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374391$48DC1C4C-77C6-4345-A771-8496687B3240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4073f920e1ca9e1982bc89372a9ddf00607c1c","datavalue":{"value":"topological duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374391$A5765815-8473-4DC1-8D90-4C4F7C7AFF54","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":"Q2374391$96C83C93-B756-4C43-983D-FFFC62C729B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc00979f6df5d4c937f20052efe62427bbf4601a","datavalue":{"value":"W3099643365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374391$C47378BA-7634-40FB-A4DF-0525BF3BF7D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6524fb7ab722d463ec86049e041babbc26e1cfc","datavalue":{"value":{"entity-type":"item","numeric-id":5393803,"id":"Q5393803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72564b1894ad0b7168efa01c921b70ec342dd841","datavalue":{"value":{"amount":"+0.773251473903656","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":"Q2374391$2F5B8C46-6E4A-442F-BF31-BC4D5D506606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b6fe432c2892cd36e71d33bafbe945474a843c","datavalue":{"value":{"entity-type":"item","numeric-id":5277777,"id":"Q5277777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367f77b0d9e76027fac7686389b4cd75545e8a2c","datavalue":{"value":{"amount":"+0.7695897221565247","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":"Q2374391$3FB6E919-275A-426C-8E0B-D89E29E9E6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76a83abb55a434ff45d69dc25c833e69ca57ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3801521,"id":"Q3801521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abeccd588a1602a7148393d93a5bc956c9c008c","datavalue":{"value":{"amount":"+0.7624439001083374","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":"Q2374391$9EFEABA7-0F57-428A-B4B6-982541E7E320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090899a226981d08b6edac7e07feeaaa87e59dac","datavalue":{"value":{"entity-type":"item","numeric-id":2723445,"id":"Q2723445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8c0f2a9e76e58e5b66a2b8e4c751042fc52a4a","datavalue":{"value":{"amount":"+0.7591328620910645","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":"Q2374391$833D34D0-C65A-41C3-A94F-D6CA23CA1FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d12a8e3e5cfb8c1f6a6b163bb305f8788d1f3f","datavalue":{"value":{"entity-type":"item","numeric-id":3686762,"id":"Q3686762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2452a107179022f147a0761e35c43551aa90cbb","datavalue":{"value":{"amount":"+0.7505688667297363","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":"Q2374391$F3AF4539-F654-4E71-A070-BE6435319710","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2374391","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2374391"}}}}}