{"entities":{"Q422337":{"pageid":424104,"ns":120,"title":"Item:Q422337","lastrevid":61726842,"modified":"2026-04-11T01:14:43Z","type":"item","id":"Q422337","labels":{"en":{"language":"en","value":"Full dualisability is independent of the generating algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6035620"}},"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":"Q422337$4349831A-B969-43BA-9233-77723761C0B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2c2d2ca28602a2183e130a37cd0b9cc84f9a007","datavalue":{"value":{"text":"Full dualisability is independent of the generating algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q422337$4D8DFDE4-EB17-40F4-A33F-7D7A246ADED1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4ab017fb2be79caf6d7003caaa6ae643a931b90","datavalue":{"value":"1259.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422337$85D34390-7897-4AF1-90A6-6078AC3DED80","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":"Q422337$83C3238C-E834-4C90-B69F-879939A5DFDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c6dd1e92ce65549be4e5bdc022a3c4981b4ec03","datavalue":{"value":{"time":"+2012-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q422337$429AE35A-A269-4AC6-ACD2-C8292A95C9BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65f8e358021972a2260f3a96d1a587803bb54204","datavalue":{"value":"Let be \\(\\mathbb M\\) and \\(\\mathbb N\\) be two finite algebras that generate the same quasivariety \\(\\mathcal A\\). The authors prove that if there is a full duality for \\(\\mathcal A\\) based on \\(\\mathbb M\\), then there is also one based on \\(\\mathbb N\\) (Theorem 1.1). Recall that the corresponding result for dualisability was proved by \\textit{M. J. Saramago} [Algebra Univers. 43, No. 2--3, 197--212 (2000; Zbl 1011.08003)] and \\textit{B. A. Davey} and \\textit{R. Willard} [Algebra Univers. 45, No. 1, 103--106 (2001; Zbl 1039.08006)], and for strong dualisability it was proved by \\textit{J. Hyndman} [Algebra Univers. 51, No. 1, 29--34 (2004; Zbl 1092.08004)]. The route to Theorem 1.1 is via its multi-sorted generalisation (Theorem 1.2). In fact, the proof simultaneously establishes independence of the generator for multi-sorted full and strong dualities. The authors prove Theorem 1.2 using the same two-stage approach that \\textit{B. A. Davey} et al. [Algebra Univers. 66, No. 4, 331--336 (2011; Zbl 1235.08004)] used to prove the corresponding result for multi-sorted duality: they show how to transfer a full/strong duality when an algebra is added to the generating set (Lemma 3.1), and how to transfer a full/strong duality when an algebra is removed from the generating set (Lemma 3.2).  The following Theorem 2.4 tells exactly how to add to the type of an \\textsl{alter ego} without destroying full duality. This theorem was proved in the single-sorted case by \\textit{B. A. Davey} et al. [Int. J. Algebra Comput. 22, No. 1, 1250007, 36 p. (2012; Zbl 1258.08006), Theorem 5.3] as a corollary of a general theorem based on a Galois connection, which was set up to help give a better understanding of full dualities. While this Galois connection can be extended to the multi-sorted setting, the authors give a direct simpler proof of this multi-sorted version.","type":"string"},"datatype":"string"},"type":"statement","id":"Q422337$FF169D76-6F38-4924-877D-EB5AF08CD364","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5690d52880a4157f32d4e9942a368cfd3f41f5a6","datavalue":{"value":"08C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422337$19EE845E-B70B-422A-80EB-B9C6A70E73D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422337$6794F4EB-9282-4A70-A372-4FB19853B864","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57214f6f4c2a28e56469ff38aa781e8a90efb7d1","datavalue":{"value":"6035620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422337$60FED069-2D46-4572-BE1A-3EE3E5A667D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de91e5ef097aa0eb71d0a0a3f27b4ba0a03e19a4","datavalue":{"value":"natural duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q422337$B5FB59DE-9001-47EF-A7FC-38536AD9E29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faea838a7736efaa9cc8eaf720c9c7aaf37d1588","datavalue":{"value":"full dualisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q422337$D6E2354F-AD18-4E98-B9B5-86B9DF918DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"550c2ece10902e6cac3feb74bb91d4302a72467f","datavalue":{"value":"strong dualisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q422337$238D65A1-D8BF-4638-B20B-8E56D9655DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a98407bc3b473142b28dd09f4538eee68c118fb7","datavalue":{"value":"multi-sorted duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q422337$E2D4512A-332C-40D3-8BC9-1B6E9EE72963","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":"Q422337$5DCC9213-15F7-41D6-BAD9-212975EF93BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"113dfb69a39b21a62cbfab3fd07dcff57fcb310e","datavalue":{"value":{"entity-type":"item","numeric-id":494627,"id":"Q494627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$2C01D069-23D0-4476-A9CD-37A10C3F5DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b9f28ca2582efebab73a49e88755e309f516b3c","datavalue":{"value":{"entity-type":"item","numeric-id":494620,"id":"Q494620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$D8116C3F-8162-4F59-A235-CF6754E1C71B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c991645c7824f944f90b46b0b7cd4fc8cfc118","datavalue":{"value":{"entity-type":"item","numeric-id":1372639,"id":"Q1372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$6E6ABEBC-1769-42B1-8BB4-DFED4D6D44DE","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":"Q422337$C3D9B677-D901-4375-B516-CDF0FC0F9DD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16abddb86c74ed04f10365bb070c9d7843cb3692","datavalue":{"value":"https://doi.org/10.1007/s00012-012-0180-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q422337$EF661AC2-1C3A-47A0-913F-FEA72683BD42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61fac60efaacb9e7cd75d9bf9d1db77e294556ef","datavalue":{"value":"W1984611384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422337$31192124-1E67-466D-ACED-64692CA32E8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd9a6ade8d1f39de0017bbf6e2c37ec0f518a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4220406,"id":"Q4220406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$2536DF91-D3CB-49D0-AE1C-C31148DA3EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e6598b5fcd9efffb21a807cf9e724e93e5c11c","datavalue":{"value":{"entity-type":"item","numeric-id":2475556,"id":"Q2475556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$461A9C84-D805-4796-87AC-6EECCF78B845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a134d9edfb4bd22a97601899a67c4f917cdcc0ed","datavalue":{"value":{"entity-type":"item","numeric-id":5184960,"id":"Q5184960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$575B6612-3B7E-49B5-8BAB-27CB9085E0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4541a43c7f4cffff0b580c5085f6bc4ab6364e37","datavalue":{"value":{"entity-type":"item","numeric-id":652518,"id":"Q652518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$1E51E0D1-B144-46CC-9533-400665E4B276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8306b6da7cc1f514440f3935fd03c9a9db6b7aab","datavalue":{"value":{"entity-type":"item","numeric-id":2725477,"id":"Q2725477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$DB4271EE-7127-4B16-AAFB-76B257BD18F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06aaa09d4e4bcb0a720f94d93b5b34456b81a49d","datavalue":{"value":{"entity-type":"item","numeric-id":5297720,"id":"Q5297720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$46ADF9F5-1088-4106-B6FF-563FBB72B821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523ab7d7d7f66aed5a869e85a37259370ba91825","datavalue":{"value":{"entity-type":"item","numeric-id":868726,"id":"Q868726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$8879E607-B93D-4C93-979B-6F24C94D43CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bfe432ebadb247f84ebda6c28fe6330186d1b49","datavalue":{"value":{"entity-type":"item","numeric-id":616123,"id":"Q616123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$BDB10F25-1B84-4C24-8077-47DBE2503821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b417f2dca70d48f3c3243390efb213b5bab6850","datavalue":{"value":{"entity-type":"item","numeric-id":2577745,"id":"Q2577745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$D7136660-BBD6-4565-A58A-39F5B63D650E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ae2782741a69949a9a46c3d2a1808bec062c1e","datavalue":{"value":{"entity-type":"item","numeric-id":818706,"id":"Q818706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$B665148B-D6E0-4DAE-B93A-4E3EF0B89639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39db8941b1bcffd68e01d191c3659328c81d70e","datavalue":{"value":{"entity-type":"item","numeric-id":2882399,"id":"Q2882399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$27401493-EBDD-4BDD-8383-99B699FE0A6B","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":"Q422337$A82BF331-C58E-4315-BB0B-0BCF222A67AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3cf64471081419e7235181941272bd6bd81651","datavalue":{"value":{"entity-type":"item","numeric-id":5932598,"id":"Q5932598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$0C60CCC0-A043-4B93-921A-98F49E40D507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e7f7a470d0baca001777d06ad3689d814c5832","datavalue":{"value":{"entity-type":"item","numeric-id":3118029,"id":"Q3118029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$44DA985A-B3C6-47D3-A844-F1702C8FBA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dff9ead51785582806a54afcaf3f519ca46fed4","datavalue":{"value":{"entity-type":"item","numeric-id":2583586,"id":"Q2583586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$D57897F0-ABF1-407D-9CF2-734800EB7597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2858b2caeba0cb898fe2f4f9cbcd3fd3b0230e","datavalue":{"value":{"entity-type":"item","numeric-id":5536619,"id":"Q5536619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$D348FE6C-2884-4B44-A1A5-8B48C96CF51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a45fdf6d5d1562d8d348074e275bd5ee6b4eba","datavalue":{"value":{"entity-type":"item","numeric-id":3182302,"id":"Q3182302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$BE6217C3-ABCE-40A9-B308-EEBF5B608615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cba45d768a9ef3cdea83d0f4fa5466af58f9eef","datavalue":{"value":{"entity-type":"item","numeric-id":1866809,"id":"Q1866809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422337$B9AEF0FC-024D-4093-8B51-B7E11A40C98A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f543dbf7c68795b66ace86f8e53aa614d38a5c3","datavalue":{"value":"10.1007/S00012-012-0180-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422337$B8291DFA-F296-4B65-985B-6BDFEF441AD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f7f0fdcb5a6776d3f82583e7d45719bc2d0567","datavalue":{"value":{"entity-type":"item","numeric-id":5932598,"id":"Q5932598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf19e07b234079f46e7320265a62ef22da9d143d","datavalue":{"value":{"amount":"+0.8694704174995422","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":"Q422337$C1FCD5A8-5675-4AFA-9578-0FFFD99E84A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2004f288fc462b9e9dbab90f08ec24c2e9e5a78e","datavalue":{"value":{"entity-type":"item","numeric-id":652518,"id":"Q652518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"826c43c20af96fd081fa7e5a2ec8683f6b6b3a97","datavalue":{"value":{"amount":"+0.8540127277374268","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":"Q422337$F2277892-B39B-40C2-84CD-892D9309CC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaabd637319bf6523d5e27019f81aaeeae4674b0","datavalue":{"value":{"entity-type":"item","numeric-id":1866809,"id":"Q1866809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788f5ad5ee17b99041f33ed24fc555d83c2981b5","datavalue":{"value":{"amount":"+0.8212862014770508","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":"Q422337$E8D01C43-7290-48BB-ABD5-1F16654F1F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b7cf9c549dfea5d5eb0d33a648fb773189fac0","datavalue":{"value":{"entity-type":"item","numeric-id":2636520,"id":"Q2636520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3fe59cc4854df54fde16a74a982c49a96e984f","datavalue":{"value":{"amount":"+0.7961754202842712","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":"Q422337$77DC3B33-A075-4F8B-A662-5DBC1012779D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1230f131f4e2d8d18dd939d9d1fd1d800c9190b3","datavalue":{"value":{"entity-type":"item","numeric-id":3182302,"id":"Q3182302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79279347aa9ec9b6c80b75ee4ed4f8f089f46618","datavalue":{"value":{"amount":"+0.7954621911048889","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":"Q422337$1C2CD402-EC4F-464A-9D61-CCCDFA410C38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Full dualisability is independent of the generating algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Full_dualisability_is_independent_of_the_generating_algebra"}}}}}