{"entities":{"Q745935":{"pageid":747784,"ns":120,"title":"Item:Q745935","lastrevid":64026609,"modified":"2026-04-11T17:08:54Z","type":"item","id":"Q745935","labels":{"en":{"language":"en","value":"Congruence lattices of symmetric extended De Morgan algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6494655"}},"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":"Q745935$21A42A34-677D-405A-A76B-ADAB27395B2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67f70ab1d9c0d8da41482c0fe21646ccc28b9e3a","datavalue":{"value":{"text":"Congruence lattices of symmetric extended De Morgan algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q745935$E212C7A0-6331-43D5-B19A-9CBE3E1ADC20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b645f15bc0d4740719b43de7874204c3a99852ae","datavalue":{"value":"1335.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q745935$DE8D40B1-6C02-4B58-9D47-2FFDAFC5BD6E","rank":"normal"}],"P16":[{"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":"Q745935$A310F783-1817-4F27-811D-C1D502EBB5D3","rank":"normal"},{"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":"Q745935$E2D9AED8-D31A-4000-92A2-A7AB456D316F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef1198b0225f4fc027fe11094295f22660c1645a","datavalue":{"value":{"entity-type":"item","numeric-id":223548,"id":"Q223548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q745935$1566513F-F96C-4A8D-AD2D-49B1861FEA8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b79f017bc2665927a0518eeeb751dc6a406670e","datavalue":{"value":{"time":"+2015-10-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":"Q745935$3615B3ED-FAF0-4038-A1AD-3037B7D94374","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3c8609e8ea76d7d89601ad565e8b7a6f18bc2c8","datavalue":{"value":"A bounded distributive lattice \\(L=(L;\\vee,\\wedge,f,0,1)\\) is called an \\textit{Ockham algebra}, if \\(f\\) is a dual lattice endomorphism. The class of all Ockham algebras is equational (i.e. a variety) as the algebras are of type \\((2,2,1,0,0)\\). A special subvariety of Ockham algebras is the class of De Morgan algebras satisfying the assumption that \\(f\\) is a dual lattice automorphism.   In this paper the authors investigate \\textit{extended} Ockham algebras \\(L=(L;\\vee,\\wedge,f,k,0,1)\\) such that (i) \\(f\\) is a dual lattice endomorphism with \\(f(0)=1\\) and \\(f(1)=0\\), (ii) \\(k\\) is a lattice endomorphism with \\(k(0)=0\\) and \\(k(1)=1\\) and finally, (iii) \\(f\\) and \\(k\\) commute. Moreover, an extended De Morgan algebra \\(L\\) is said to be \\textit{symmetric} if \\(k^2=\\text{id}_L\\).   Main results: Let \\(L\\) denote a symmetric extended De Morgan algebra. Then (1) \\(\\mathrm{Con}(L)\\) is a Boolean lattice iff \\(\\mathrm{Con}(L)\\) is a relative Stone lattice iff \\(L\\) is finite. (2) \\(\\mathrm{Con}(L)\\) is a Stone lattice iff the sublattice of compact congruences on \\(L\\) is complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q745935$91386BF0-69B3-44DA-A18A-CCCC758D957B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q745935$E5907AD6-0686-4B25-966F-8C60E51A3C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q745935$25D16B25-5C14-4D84-84E9-997EEBD79D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q745935$64A47908-ECBF-4355-9D01-A02136C8E14A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acc8352b68a999096c4821e1a3a805685e93c0d2","datavalue":{"value":"6494655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q745935$B0D2B32C-4A5E-4015-BCE2-678CB7F69AE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5374d6381d8d140e3843583e0e15bce148c51efb","datavalue":{"value":"bounded distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q745935$27B1F28B-688E-47A9-AEA7-C12DAAD7D6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q745935$190AD174-E600-4119-8FE4-206536CD6467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4804b780f75b7e1799d1d1ecfef6f57c7ec9ca","datavalue":{"value":"extended De Morgan algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q745935$B86836C8-FFD0-443A-AE10-EAE94421DD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf9667fd66cfd9a3f03ec662cc3ffcddbd82bd5","datavalue":{"value":"symmetric De Morgan algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q745935$E43A8078-8725-4CF8-895C-460FAF666CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14abab054f9817298d19ab277630879704a6bceb","datavalue":{"value":"pseudocomplemented lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q745935$32693DB6-D609-4B54-ACF6-717AC36F8591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee92a0e5a0926789e8f9fb1b6dc9e58966501ce","datavalue":{"value":"Boolean lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q745935$DB1E2DAC-A962-4A1E-8C8B-F17CE3F98D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6893a567a51bc8e9fd63ed93206b6bf58bd900eb","datavalue":{"value":"relative Stone lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q745935$4CD9ED5B-84C5-4BC5-A8FE-21CB85458F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb993feb241d9c78a401c7d9a20eb957151245bb","datavalue":{"value":"Ockham algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q745935$4AAF9A1C-5DEF-48D0-A7B8-AEB8101FD994","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":"Q745935$892E3F83-2139-47DF-8FA0-E294BB2D3D0C","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":"Q745935$570BEA3D-C298-4257-9061-BC71E367942D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3ffabef2d08658bfdc852bfd2131038d8720289","datavalue":{"value":"https://doi.org/10.1007/s40840-014-0084-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q745935$32F5E21C-0256-431B-BCE7-B8DB9285D75C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48417140a03ca1cd5ddc5758491555504200c953","datavalue":{"value":"W2087619356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q745935$57A6D04E-A02A-4371-A2F0-C9D48FD146CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f43b6a5dda35b6357984aaca3f3b556f216e59f","datavalue":{"value":{"entity-type":"item","numeric-id":4170768,"id":"Q4170768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q745935$99DB19D9-E6DC-4198-8B3D-3E5149313229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a64d84bab10d9c664f80de360dcefad336ea111","datavalue":{"value":{"entity-type":"item","numeric-id":599071,"id":"Q599071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q745935$74B87CE9-6CB6-4126-90C8-862B37E08DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a574fd61cf85b00cc015ecc28473fc55c808914","datavalue":{"value":{"entity-type":"item","numeric-id":3964629,"id":"Q3964629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q745935$CF80DCC5-8340-4185-AB72-848F2F5D2ECF","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":"Q745935$9545D1A1-019C-4694-90AB-CA4C74FB4F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9f3f2811858cdd1680a2ef16d19b04500a8e86","datavalue":{"value":{"entity-type":"item","numeric-id":4947078,"id":"Q4947078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q745935$98DD40AA-91CD-4373-BDA2-15CF82E7BF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2904d5e3b7842513fa31406e64c95aaefc4f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4443746,"id":"Q4443746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q745935$A1007011-B61D-45DD-88D2-11EB5EC320FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a15f1d61448b5ecf28b14bd18d01a349d813d3e","datavalue":{"value":{"entity-type":"item","numeric-id":2462671,"id":"Q2462671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q745935$438DF6BF-96C7-47B6-A65D-5FA8155AAF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fffd016495bbcb92c2a4a384166af231ffa97d3","datavalue":{"value":{"entity-type":"item","numeric-id":3251491,"id":"Q3251491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q745935$2024F830-5D66-4464-B4D2-F6ABC6D08BE5","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":"Q745935$AC55B568-BB11-4631-B67E-54CBE34A635B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79974827257575da030ee9af5af8eea34c680190","datavalue":{"value":{"entity-type":"item","numeric-id":3789618,"id":"Q3789618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q745935$6BA54E5D-10ED-48A7-ABAF-1898B7A65E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1fc79b572e2b723a8038f082fbbc47998db8f9d","datavalue":{"value":{"entity-type":"item","numeric-id":1243284,"id":"Q1243284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q745935$E343DA5C-06E9-4CC3-9015-6094C9A0C9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71727067d4737321f764fbd25d4fbdd07b5f911e","datavalue":{"value":{"entity-type":"item","numeric-id":3861449,"id":"Q3861449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q745935$46C1A3AE-6655-4D69-AC98-F7F87AB3121B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f73b0702bccea98217d247cc7e16403a655933","datavalue":{"value":{"entity-type":"item","numeric-id":1135295,"id":"Q1135295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q745935$1944C778-7804-47E9-A100-1B9FDD646DFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e05b57b55e0e0c9580c607205a9758781efdb3d","datavalue":{"value":"10.1007/S40840-014-0084-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q745935$F37AAD01-2416-4F71-8C1C-B09048389BA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccd1ce7a9fce6edd154e707fa2952be9bbb810f","datavalue":{"value":{"entity-type":"item","numeric-id":4248758,"id":"Q4248758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1bdce166220e21c756fe68c6b847007a8e9c24","datavalue":{"value":{"amount":"+0.8369001746177673","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":"Q745935$5F375BB6-D658-4EA8-B0BE-7B757D7761A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0111d34a2cf7d536e666f14272a89b9ecf83d8dd","datavalue":{"value":{"entity-type":"item","numeric-id":2462671,"id":"Q2462671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b76f09f5f4670abb37db0ffa0b2002f14f63c0c","datavalue":{"value":{"amount":"+0.8281339406967163","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":"Q745935$AAB8D9E6-27C7-4752-9860-E8B4AB31F7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6a5abdbe8cd6a542e028f7d756786bf5739103","datavalue":{"value":{"entity-type":"item","numeric-id":2508582,"id":"Q2508582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"717d60ae2fe2440d4f95dd267655fb7420b71c61","datavalue":{"value":{"amount":"+0.8230714201927185","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":"Q745935$67447981-A84B-418D-A91A-64E97BF81D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920bf48d3c16fd225d71910cd87acaeb399dec41","datavalue":{"value":{"entity-type":"item","numeric-id":3169564,"id":"Q3169564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b418e95141271265bd7683d6d3ecba1afbcbe67f","datavalue":{"value":{"amount":"+0.8204673528671265","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":"Q745935$95299943-1058-4B19-AA7A-C6497DE19048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc5e9e27b3e918731579c8c2c0f60b7fb936845","datavalue":{"value":{"entity-type":"item","numeric-id":5382584,"id":"Q5382584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5733348beee42bdc6909f452b577ccd273ac851f","datavalue":{"value":{"amount":"+0.8178893327713013","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":"Q745935$BBD2D517-022A-4F94-994B-B8DD7F42D415","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence lattices of symmetric extended De Morgan algebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_lattices_of_symmetric_extended_De_Morgan_algebras."}}}}}