{"entities":{"Q913835":{"pageid":915683,"ns":120,"title":"Item:Q913835","lastrevid":65310102,"modified":"2026-04-12T01:43:05Z","type":"item","id":"Q913835","labels":{"en":{"language":"en","value":"Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4148160"}},"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":"Q913835$AE7016ED-363F-4A6B-A88E-A1AE5A1070E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97bf2808f326ac1b2a14ca573491e40886910217","datavalue":{"value":{"text":"Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q913835$48EFF503-C33D-4C47-B375-27B912690DFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18326e30d3549278c5c619cf56ace820d93c2fd7","datavalue":{"value":"0701.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913835$07B7A6E0-3E77-4534-ACDE-D3A53A7A6391","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51cd62e28b8f4f1dc3e713754fd868fab610acf6","datavalue":{"value":"10.1007/BF01182452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913835$50661692-32D9-49F0-BE6D-CF38E90BBF5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a3a1991129f0c8a62afa8111a1e1abd5b55d22d","datavalue":{"value":{"entity-type":"item","numeric-id":295915,"id":"Q295915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$B2D5640F-AA51-4752-8435-66417B7E2DC8","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":"Q913835$CF0B00C4-8210-4FFA-8484-94F4D9F662FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q913835$28D9E12A-7725-44E8-AD8B-AA6CDC47020E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b693e9831443276306a56f6d2c2968d35890c90","datavalue":{"value":"In this (essentially self-contained) paper the author continues his earlier investigations on demi-p-lattices [J. Symb. Logic 52, 712-724 (1987; Zbl 0628.06011)]. In Section 2, definitions and some new characterizations of demi-p-lattices, almost p-lattices and p-lattices are presented. Main results of this paper are to characterize the principal congruences on demi-p-lattices, which extends the corresponding characterization for p-lattices [\\textit{H. Lakser}, Proc. Am. Math. Soc. 37, 32-36 (1973; Zbl 0269.06005)]. As an application of this characterization it is shown that the variety of demi-p-lattices has equationally definable principal congruences - a result which strengthens an earlier result that this variety has the congruence extension property. Section 4 describes a construction of a class of subdirectly irreducible demi-p-lattices and Section 5 uses this construction and the characterization of principal congruences (obtained in Section 3) to characterize the subdirectly irreducible demi-p-lattices, thus giving a partial solution to one of the problems raised in the author's earlier paper [loc. cit.]. This characterization extends the corresponding result of Lakser [loc. cit.] which was proved for p-lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q913835$10C79A93-EA99-44DD-876A-33FE058B3B30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913835$7BECC7B2-DEEA-4007-B31B-758315A0892E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7c4e42694f3c11dab0a5e3d32c358c00ee1a305","datavalue":{"value":"4148160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913835$9AB03CAF-8A9E-4119-A2E3-D602BC7610F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3474b2a65f8496a174827d104f48ea891311850b","datavalue":{"value":"subdirect irreducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q913835$5ECC7157-9C2B-4A4D-92A8-8A8C206F9D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc56de682819ce570747854de6ad3b2865cd3e2","datavalue":{"value":"demi-p-lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q913835$08512B96-9CB4-4A49-B8F2-5C25EA09FA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b35a88086cf4c59fa12995ec6426a562f77cc94","datavalue":{"value":"almost p-lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q913835$ECECF0FC-1A9D-4FB3-8E45-5D3559113E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e674378f2cba21de14f62539e0e1979b55e1a41","datavalue":{"value":"principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q913835$199A1D1F-BC28-4479-9DC4-6ACD29892182","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"817ffdbcfe85b4bcc287eeb095baaf2eb285a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1052701,"id":"Q1052701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$44FAECBF-B8D7-499D-90AC-270B1EBECBC9","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":"Q913835$07C65271-100C-4FA8-AFB4-9B1D5FD0A0C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7980998c93362fff7ab8771c90e55ea49d3e67a","datavalue":{"value":{"entity-type":"item","numeric-id":1846444,"id":"Q1846444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$5215AC0A-F687-4D3E-AC6A-290A57D5A985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$857729D2-D928-4164-9945-8CD008D37059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$A7902624-1495-49D1-BCA2-EF2A01570B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182f0ef5fcef2fd09e92a43d4f0372d9355c6437","datavalue":{"value":{"entity-type":"item","numeric-id":5655398,"id":"Q5655398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$EF9A2D52-41F4-42B2-8277-93F4511005C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f415ef326cc04e664fff8f210ce2d7da06d149","datavalue":{"value":{"entity-type":"item","numeric-id":5686071,"id":"Q5686071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$A98AC206-B601-4295-819F-2809C7D98844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$3439A21B-1B4B-4E89-B3BF-989B2B1647DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32221554a2fde6785a329d326afa40fe5de88137","datavalue":{"value":{"entity-type":"item","numeric-id":5655397,"id":"Q5655397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$89561740-87BE-4564-8146-374AAF012855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94f8dfac4fd9fd0049495982d16ad4ad2c85d83","datavalue":{"value":{"entity-type":"item","numeric-id":5686072,"id":"Q5686072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$76A2E003-A7A7-4B86-9A24-5FC7F79E15F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40fe767c15fe9f6784c605f424bc09c13d515260","datavalue":{"value":{"entity-type":"item","numeric-id":5655396,"id":"Q5655396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$CF9B2E40-6DB6-4C96-8783-B06944DE39AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35847d178752367c2d884485785fd1dcebade97b","datavalue":{"value":{"entity-type":"item","numeric-id":1061157,"id":"Q1061157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$8A1F0CFB-8536-4C39-9A4D-7514670DFDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e414372454e57c1951dac219ea3b1fe8577676bf","datavalue":{"value":{"entity-type":"item","numeric-id":3770582,"id":"Q3770582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$2D37A494-BA62-4F95-9A60-23E08C27772E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4321e5fa303acd83d4e95c889df3bcdcb18e645b","datavalue":{"value":{"entity-type":"item","numeric-id":3752436,"id":"Q3752436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$F75F1C19-6F88-4F3F-922B-120CFF532233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd15f576a6b667c17000d5aa21a8cf9bbb1edba","datavalue":{"value":{"entity-type":"item","numeric-id":3764195,"id":"Q3764195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$0293EE7B-D0BB-4F5E-A302-73B0BCF91ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babfb24f76eaf508bd5a17e164ca3aadab43b32a","datavalue":{"value":{"entity-type":"item","numeric-id":4031107,"id":"Q4031107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$2BB9D524-9E8A-4C9C-91C3-E28FE5466E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a6d5b9aa95c7c109d926c795582a5953119541","datavalue":{"value":{"entity-type":"item","numeric-id":4204189,"id":"Q4204189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$65AE5C54-9A96-41FA-817A-A13DDD165DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e01a71c1baed98b16e488a70a6fe422d78ac5e","datavalue":{"value":{"entity-type":"item","numeric-id":914710,"id":"Q914710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$4B1DB99C-01C3-4DB7-A53F-15AFB85CF7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb4c6cbac694e90b2bbaee62f9d0f2f5acc4802","datavalue":{"value":{"entity-type":"item","numeric-id":3491623,"id":"Q3491623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913835$D938A833-48B6-4F86-A56C-11AA44E00AFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b549d03c8dce19e5a5e83c449f6098af263164","datavalue":{"value":{"entity-type":"item","numeric-id":5928639,"id":"Q5928639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6043f8d13f82ce5fe77d61c19160114cc04c3e11","datavalue":{"value":{"amount":"+0.8654079437255859","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":"Q913835$F22A340B-74BD-469F-97F9-5B0B5924DD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c8ec7d8e84244bf3841dbf848454fa8f6a8909","datavalue":{"value":{"entity-type":"item","numeric-id":3141957,"id":"Q3141957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6043f8d13f82ce5fe77d61c19160114cc04c3e11","datavalue":{"value":{"amount":"+0.8654079437255859","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":"Q913835$818309BB-9ADD-48A7-BE95-272E82D356F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66124f67b8446643cb5cbec9138173d4aa49eeb7","datavalue":{"value":{"entity-type":"item","numeric-id":4031107,"id":"Q4031107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784b429661b84ece67f0d151b2bbfa48a9dba9fd","datavalue":{"value":{"amount":"+0.8599685430526733","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":"Q913835$4754B6BC-9E46-4610-A412-0494FC3F9C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96aeab077001a2f8179a121256e404a0301de8a8","datavalue":{"value":{"entity-type":"item","numeric-id":1914060,"id":"Q1914060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22970819fa40592592e42ca249343b085ce990cb","datavalue":{"value":{"amount":"+0.8585572242736816","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":"Q913835$69AD7B83-D63D-4F32-A0D2-384CDF285E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"185e9363bd1de772ac707d52400f6f249a6689d7","datavalue":{"value":{"entity-type":"item","numeric-id":914710,"id":"Q914710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f97bab43a2e60dd574a426d05ec280f115379dc","datavalue":{"value":{"amount":"+0.8585246801376343","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":"Q913835$AEFC1BDF-A83A-4C3B-8404-9AB6C2F5B5F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Demi-pseudocomplemented_lattices:_Principal_congruences_and_subdirect_irreducibility"}}}}}