{"entities":{"Q1410421":{"pageid":1421161,"ns":120,"title":"Item:Q1410421","lastrevid":68640099,"modified":"2026-04-13T01:07:10Z","type":"item","id":"Q1410421","labels":{"en":{"language":"en","value":"On a subvariety of semi-De Morgan algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1992736"}},"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":"Q1410421$C2C54FD4-95DA-4228-A3F2-D90FEC9763B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"738f1cfa308aecc11106d432237333e53f73ae81","datavalue":{"value":{"text":"On a subvariety of semi-De Morgan algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1410421$A0E55A36-62B2-4550-81A0-EB6398A769AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5de7bc473e79fa29e19b5e8dc4900beacf5fa7e4","datavalue":{"value":"1026.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1410421$32BB83BD-9BD8-4B57-AC44-4B459C78675D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c19efc9304fbb39629e54d8911f06ecff496e406","datavalue":{"value":"10.1023/A:1022890312632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1410421$F9421A65-0B39-4522-A18A-B3459F2A35C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1410421$B9F015E1-00E7-4138-83AC-7E805BF5F13A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f53eb7c5b8d889f1baf94cbfff14c8443ad94909","datavalue":{"value":{"time":"+2003-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1410421$5AB5F4A2-F864-4F98-8664-ABBDB0D06912","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73d3fa927fb99867f9423ba94cc8d9de249f8f40","datavalue":{"value":"Semi-De Morgan algebras are bounded distributive lattices with an additional unary operation \\({}^\\prime\\) such that the identities \\(0^\\prime \\approx 1, \\quad 1^\\prime\\approx 0, (x\\vee y)^\\prime\\approx x^\\prime\\wedge y^\\prime, (x\\wedge y)''\\approx x''\\wedge y'', x'''\\approx x^\\prime\\) are satisfied. The variety of all semi-De Morgan algebras is obviously congruence-distributive. \\textit{D. Hobby} [Stud. Logica 56, 151-183 (1996; Zbl 0854.06010)] proved that it is locally finite. The same author [loc. cit.] described the largest subvariety \\(\\mathcal C\\) of semi-De Morgan algebras with the congruence extension property. \\textit{E. Fried, G. Gr\u00e4tzer} and \\textit{R. Quackenbush} proved in a paper neglected by the authors [Algebra Univers. 10, 176-188 (1980; Zbl 0431.08002)] that a locally finite congruence-distributive variety has the congruence extension property if and only if it has equationally definable principal congruences in the restricted sense. The authors find a defining set of identities for principal congruences in \\(\\mathcal C\\), describe the subdirectly irreducible members of \\(\\mathcal C\\), and visualize the ordered set \\(\\operatorname{SI}_F(\\mathcal C)\\) of isomorphism classes of nontrivial finite subdirectly irreducible algebras from \\(\\mathcal C\\). A fundamental result due to \\textit{B. Davey} [Houston J. Math. 5, 183-192 (1979; Zbl 0396.08008)] says that the lattice of subvarieties of \\(\\mathcal C\\) is isomorphic to the lattice of all down-sets in \\(\\operatorname{SI}_F(\\mathcal C)\\) because \\(\\mathcal C\\) is a locally finite congruence-distributive variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1410421$E07E833D-1726-4441-8C61-BD13BEFCC5C4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"754b57781893ddabc2ae90147fc1595c27201c79","datavalue":{"value":{"entity-type":"item","numeric-id":172086,"id":"Q172086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1410421$ED63F4FE-2504-4D52-9951-9124063F8436","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1410421$2CBC9238-93EB-429D-BD00-DFDBDF335CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1410421$AB8FEFB4-704B-494C-9A48-C0F4107E3896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1410421$5DD6B049-3087-4F89-95AA-587BCF793BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1410421$5D4D1C72-2D15-430D-88BF-633FE1906678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1410421$0BDEED9C-379A-45C9-A50A-74F380917DCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3c85fe7460d327ffffdd66b7d6344761b661f8e","datavalue":{"value":"1992736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1410421$A33CCE10-585D-47F5-BDC2-5DA86381A11B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a83c339dffa8d37f09d2084a2f2a1745779d2eb","datavalue":{"value":"semi-De Morgan algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1410421$B57F90B5-17B4-4369-BF38-500A8C489A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36e88e1e416ed903cfa4f239bd2272493f8f6b1","datavalue":{"value":"principal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1410421$D924B04E-F57E-4926-ACBE-1AB49F7653AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e475e9029ab9828e91fa48be7e3e3d6eb96f6791","datavalue":{"value":"subdirectly irreducible algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1410421$D9278378-FA90-41F6-B8B1-CFAF4981389A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ff352e7c2062ec9605e524a534e01b3ca38771","datavalue":{"value":{"entity-type":"item","numeric-id":195365,"id":"Q195365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1410421$C7A64934-5E18-4D9D-B645-432BFEDBBC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d17571b6a443c779dcc3f3d22bfefccbaf10830","datavalue":{"value":{"entity-type":"item","numeric-id":195366,"id":"Q195366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1410421$C218223B-CC42-43F8-9F85-53CA3AFB1808","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":"Q1410421$EB600414-C194-406B-A027-73947A2896E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de3deb724671538f9eeb1dead3cf2f473b26d635","datavalue":{"value":"https://doi.org/10.1023/a:1022890312632","type":"string"},"datatype":"url"},"type":"statement","id":"Q1410421$A8BC6096-5F23-4781-8C00-540BEF006EE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92e29f299d8f9b4420ccebf284e1c36fc2215939","datavalue":{"value":"W1816742207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1410421$ACA2CB24-41DF-4F07-93CA-FA55A82915D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f185d706917f0a2ec2210905e3fefbc64c865d93","datavalue":{"value":{"entity-type":"item","numeric-id":2469329,"id":"Q2469329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdee2d9f995ce1882f7c6d29a94dc934b4e8cde4","datavalue":{"value":{"amount":"+0.8988110423088074","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":"Q1410421$1771F60A-B606-46E8-B787-F1D2F7CCF3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de3b7316357859ca675c1a2d505f9707763cfc2","datavalue":{"value":{"entity-type":"item","numeric-id":5939998,"id":"Q5939998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65b8a9da3e4e778781c67cc243a789369e15772","datavalue":{"value":{"amount":"+0.886753499507904","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":"Q1410421$45D051D8-3758-4834-A9C6-5BB7168DE0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c937e10e9c76c4b76448e3aaf927bd84d4f34c6f","datavalue":{"value":{"entity-type":"item","numeric-id":4368129,"id":"Q4368129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784324c4e3e6d3b2a837b28c9888caade66eedeb","datavalue":{"value":{"amount":"+0.8864603042602539","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":"Q1410421$EC0A5587-CD53-4901-85AD-594A9FF810D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164d182acbd71d6ee38f78953b601cb1d794cde7","datavalue":{"value":{"entity-type":"item","numeric-id":1914064,"id":"Q1914064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d91f63b190254e693a6df60cee5027c601a501","datavalue":{"value":{"amount":"+0.8467539548873901","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":"Q1410421$E5FF308B-E08B-4D63-8345-B874A0B3B6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce9271be36a0eef127a762beb0910203ad22ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5687373,"id":"Q5687373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37bc18edc4f31c354c29922c15b414ba33632db1","datavalue":{"value":{"amount":"+0.841091513633728","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":"Q1410421$2ECEF7FD-E775-4961-A0DD-EEF0B8299F5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a subvariety of semi-De Morgan algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_subvariety_of_semi-De_Morgan_algebras"}}}}}