{"entities":{"Q1891279":{"pageid":1902021,"ns":120,"title":"Item:Q1891279","lastrevid":74260224,"modified":"2026-04-14T19:13:56Z","type":"item","id":"Q1891279","labels":{"en":{"language":"en","value":"Near unanimity: An obstacle to general duality theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 759392"}},"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":"Q1891279$B8F6393B-8496-4E53-BEF3-6A7A2DB90CE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f21c08e6ebd6763530a315daf414208c2ed48493","datavalue":{"value":{"text":"Near unanimity: An obstacle to general duality theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891279$DDA12CE0-46D6-493D-BE57-9DB85B76060A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb73a7d16d9bb661010a05a359bcc42793172752","datavalue":{"value":"0824.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891279$0877CC2C-2206-4671-8B6D-609BEA25E297","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aee4932e5f37730e44f1579621cbe6087bc69af9","datavalue":{"value":"10.1007/BF01190710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891279$F0992027-8252-46D1-B21A-31747672FC5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"891dd938a0a1e5d776955ccb9d55aa8014d5b8bf","datavalue":{"value":{"entity-type":"item","numeric-id":178373,"id":"Q178373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$FF6BB195-C488-4162-B929-8B7524F04887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20017067c31a46e9902d76352f9cf4b16770f2b3","datavalue":{"value":{"entity-type":"item","numeric-id":185681,"id":"Q185681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$9A4DF399-9DAA-4BB2-BE64-EC83B0CEDB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d77036adeab8664572cb1ddfc734431dbcbdf52","datavalue":{"value":{"entity-type":"item","numeric-id":690116,"id":"Q690116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$5C2B53D5-C0DD-4C07-8AF0-D2D93710313B","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":"Q1891279$5E44B87C-0146-426D-BD55-B0E9B3AA6716","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"870f54d3b5c36ab024bbe86b2f4a8332983cee6c","datavalue":{"value":{"time":"+1995-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891279$1A26A824-5E39-4D1C-A1BA-EEC614787B60","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c97241c4de94b5f993bace9c5192e46db8065980","datavalue":{"value":"Let \\(\\underline P= (P; F)\\) be an algebra. Let \\(\\underset\\widetilde{} P= (P; G, H, R, T)\\) be a structure such that all \\(n\\)-ary (partial) operations from \\(G\\) \\((H)\\) are homomorphisms of the \\(n\\)th power of \\(\\underline P\\) (of domain) into \\(\\underline P\\), all \\(n\\)-ary relations from \\(R\\) are subuniverses of \\(\\underline P\\), and \\(T\\) is the discrete topology on \\(P\\). Let \\({\\mathcal A}= \\text{ISP}(\\underline P)\\) and \\({\\mathcal X}= \\text{IS}_{\\text{c}} \\text{P}(P)\\) (\\(\\text{S}_{\\text{c}}\\) means closed substructures). There are well-defined hom-functors \\(D: {\\mathcal A}\\to {\\mathcal X}\\) and \\(E: {\\mathcal X}\\to {\\mathcal A}\\). If \\(ED(\\underline A)\\) is an isomorphism for all \\(\\underline A\\in {\\mathcal A}\\), we say that \\(\\underline P\\) admits natural duality (\\(\\underset\\widetilde{} P\\) yields a natural duality) in the sense of B. A. Davey. It was proved by B. A. Davey and H. Werner that if \\(\\underline P\\) has a term (near- unanimity term) of arity \\(\\geq 3\\) such that \\(T(x,\\dots, x, y)= T(x,\\dots, y, x)= T(x, y, \\dots, x)= T(y, \\dots, x)\\) are identities in \\(\\underline P\\), then \\(\\underline P\\) admits a natural duality.   The authors prove that in the finite case \\(\\underline P\\) admits a natural duality and has a distributive lattice of congruences iff \\(\\underline P\\) has a near-unanimity term iff \\(\\underline P\\) has a distributive lattice of congruences and for every compact totally disconnected topological space \\(X\\) each subalgebra of the algebra \\(C(X, \\underline P)\\) of all continuous functions is closed in the pointwise topology. Some other connections between these notions are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891279$3C417BA1-FDBC-4074-B890-A5C677ED80DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891279$995DC809-1EF6-4869-829F-F01510E6D07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891279$15EA4E1A-C2CE-43A2-9614-A3DE0DDFBFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891279$9F25921C-9BF5-4FA5-A6A7-5713F6854A69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9f7f6a0650b6a5ff3a6c40e6e191b64a6d3c5c6","datavalue":{"value":"759392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891279$1EEAA550-B450-4858-8375-C538F4299E44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a688c369468f577af7c7d403e8a5e55d9b715d1d","datavalue":{"value":"finite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891279$C79AB9B4-F3DB-45BC-B3E3-BB01DC3BB293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b6b335687f38a561260f0772b2d36f4d6795fc9","datavalue":{"value":"near-unanimity term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891279$B1DC3651-C2A3-4AD3-8501-1EF889866D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48b0b2f1cbc15203f0233def3439682387eecd54","datavalue":{"value":"algebra of continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891279$31B2B8BC-3CFC-4330-87F8-25DA392831F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff88b86ee35796c6ada681b49738fcace264114b","datavalue":{"value":"closed substructures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891279$6486C508-37E6-469F-9694-A9C41900A326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73eea5cc69292585e62b2c90e7d0ba9dd3345a69","datavalue":{"value":"hom-functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891279$400EB955-CB90-4908-ACCC-C6EF51A0609A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de91e5ef097aa0eb71d0a0a3f27b4ba0a03e19a4","datavalue":{"value":"natural duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891279$361509DE-5CA4-458A-9F47-DD348F2BFF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891279$5939CD32-AA98-4596-A3BE-02DF1FFD7FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891279$659CDA0D-6BB0-4E73-BF7C-07F7F0E90774","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e47f1890de08a8bb753968ab80ecae8a536a9f0e","datavalue":{"value":{"entity-type":"item","numeric-id":616132,"id":"Q616132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$2D3FD498-BE91-499F-9309-DD78B7A01BF9","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":"Q1891279$6BD13C9C-64DC-46B7-A370-1177848A17C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ba01e658edb0a00460ae4a4f398235c2364df3","datavalue":{"value":{"entity-type":"item","numeric-id":922571,"id":"Q922571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$D7944E06-7154-4CA7-A033-82F3A34A20A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d9b5372f4fc3e6c2c00202210385941d92ecd5","datavalue":{"value":{"entity-type":"item","numeric-id":3138860,"id":"Q3138860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$14F8A64D-0346-42B6-810B-DC53A993A5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530b2ccdc7c98a58a1018fbe4d78fc8651775cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3033816,"id":"Q3033816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$A0D78EA1-B2DC-43D4-8CAC-16713F03C0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3814b569ca86e885830ac7be287254faeec97f73","datavalue":{"value":{"entity-type":"item","numeric-id":2366009,"id":"Q2366009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$23E5D8B3-1DAE-4F07-A237-3312F1A17621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7066128a2d605dc753be9a51eaf289cd37e7e97","datavalue":{"value":{"entity-type":"item","numeric-id":3137492,"id":"Q3137492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$35FE3A07-05B9-4451-BCC2-7A6F13C45401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401dad3bf569ab7db1937bbdf7b57dbbb609f03a","datavalue":{"value":{"entity-type":"item","numeric-id":810555,"id":"Q810555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$6E4FFEB8-D26B-402F-BE98-1E13D00E7B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed34054e0a2e5afac4f4ab442d8a78b21c23aa9","datavalue":{"value":{"entity-type":"item","numeric-id":3749112,"id":"Q3749112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$2BEEBFD1-E0CD-45B8-B1BB-0E20526C42E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9a155cd5a7cb2ab7aad2f86de34a1a77aa2572","datavalue":{"value":{"entity-type":"item","numeric-id":3140287,"id":"Q3140287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$9F1086DD-474D-4234-A7C0-96611338CDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a242c449a7d0d2dd593a45226d9949d5f0a509b6","datavalue":{"value":{"entity-type":"item","numeric-id":3470525,"id":"Q3470525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$551899AD-1BD1-4695-980F-E32FB13D8279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89be34ddf43c7034b3a9b62a27aaf5803b7994f6","datavalue":{"value":{"entity-type":"item","numeric-id":2553985,"id":"Q2553985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891279$B2C963D7-5F44-49BB-88E2-9E7F4B7B1F04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"713c911c4ce84e5ef6ce09e52ca7c75d3a2885df","datavalue":{"value":{"entity-type":"item","numeric-id":312213,"id":"Q312213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943a496a01d094e7667442eba279b083f8e21c54","datavalue":{"value":{"amount":"+0.8590078353881836","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":"Q1891279$9AB9E127-A1C2-4CEA-8479-F2E6A5239AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f090bd7e61de904044bd04e5301ae75f4dec3b8","datavalue":{"value":{"entity-type":"item","numeric-id":3399189,"id":"Q3399189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f03fa68f8f9838ca327f0e09d4353ae74980cc","datavalue":{"value":{"amount":"+0.850709855556488","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":"Q1891279$C8AFDCD5-CF1F-40AC-A8B0-FDC617D52DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecfae1c3c6cc3bf5327e369306ed6e8356dcd5c3","datavalue":{"value":{"entity-type":"item","numeric-id":4710576,"id":"Q4710576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde331707906a9a9c8c83d03d6b087f4c9251de6","datavalue":{"value":{"amount":"+0.8493273854255676","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":"Q1891279$16EEA51A-7AF5-4A98-9AF7-C91653A74442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51f86566d7d7f393a3a77c940e5bc00467cbb83","datavalue":{"value":{"entity-type":"item","numeric-id":1602678,"id":"Q1602678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee941af58fa48de5404273c511e1e315cb18760","datavalue":{"value":{"amount":"+0.8451589941978455","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":"Q1891279$5BE2FE55-4926-485B-9427-AA22AE136DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530ecc3efd75a09d4ad18c21e32c92fae8bb0571","datavalue":{"value":{"entity-type":"item","numeric-id":3783342,"id":"Q3783342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3875fe8ae27367df386c3bb7fcb4c7cdf5ccc1","datavalue":{"value":{"amount":"+0.8123166561126709","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":"Q1891279$633A21C4-C577-4D1A-B040-8F64AAA7125A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Near unanimity: An obstacle to general duality theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Near_unanimity:_An_obstacle_to_general_duality_theory"}}}}}