{"entities":{"Q652518":{"pageid":654367,"ns":120,"title":"Item:Q652518","lastrevid":77653127,"modified":"2026-05-06T09:45:24Z","type":"item","id":"Q652518","labels":{"en":{"language":"en","value":"Multisorted dualisability: change of base"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5988463"}},"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":"Q652518$B47A4CC1-C7D9-4C0F-A477-B41C70F08045","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4868a2b66c79bbba14ef8b7767dff7d805ce7458","datavalue":{"value":{"text":"Multisorted dualisability: change of base","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q652518$F4070BA8-8CCC-4B42-A900-3479BAC8E39D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a793c716a408f08e16403af0f7aea159f37e964f","datavalue":{"value":"1235.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652518$A490757F-41AC-44C3-A1D4-5EE4D1232AEA","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":"Q652518$7D97CA50-1FE5-4E84-82C0-DBB608495DF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"536c80f3f9e0a556b7a4a2c6c76d788418a82fdd","datavalue":{"value":{"time":"+2011-12-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":"Q652518$ED73B523-0A87-490D-828C-E73D0BCBCD6C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7407b5c0df570cec4ef0680dac295762d604c28f","datavalue":{"value":"The basic theory of natural dualities applies to quasivarieties generated by a single finite algebra. \\textit{B. A. Davey} and \\textit{H. A. Priestley} [Houston J. Math. 13, 151--198 (1987; Zbl 0692.08012)] extended the theory to quasivarieties of the form \\(\\mathrm{ISP}(\\mathcal{M})\\), where \\(\\mathcal{M}\\) is a finite indexed family of finite algebras. In such a case, one works with a multisorted alter ego with a sort for each algebra in \\(\\mathcal{M}\\) and under additional conditions obtains a multisorted duality based on \\(\\mathcal{M}\\). It is known (see [\\textit{B. A. Davey} and \\textit{R. Willard}, Algebra Univers. 45, No. 1, 103--106 (2001; Zbl 1039.08006)]) that if \\(A\\) and \\(B\\) are finite algebras generating the same quasivariety, i.e. \\(\\mathrm{ISP}(A)=\\mathrm{ISP}(B)\\), then if \\(A\\) is dualisable, so is \\(B\\).  In this paper, the authors obtain a similar result for multisorted dualities, namely if \\(\\mathcal{A}=\\mathrm{ISP}(\\mathcal{M})=\\mathrm{ISP}(\\mathcal{N})\\) for finite indexed families of finite algebras \\(\\mathcal{M}\\) and \\(\\mathcal{N}\\), then, if there is a multisorted duality for \\(\\mathcal{A}\\) based on \\(\\mathcal{M}\\), then there is a multisorted duality for \\(\\mathcal{A}\\) based on \\(\\mathcal{N}\\). The theorem provides then a change of base result for multisorted natural dualities. As a corollary one obtains that if \\(\\mathcal{A}=\\mathrm{ISP}(M)=\\mathrm{ISP}(\\mathcal{N})\\), where \\(M\\) is a finite algebra and \\(\\mathcal{N}\\) a family defined as above, then, if \\(\\mathcal{A}\\) has no natural duality based on \\(M\\), then it has no multisorted natural duality based on \\(\\mathcal{N}\\). The proof of the theorem is constructive and based on two lemmas, presented in the paper, which show how to remove/add an algebra from/to the finite family generating the quasivariety. Also, an example for the described procedure is provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q652518$4E605A97-45D6-4767-9B1D-1820FF0A3913","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"53aa016e3caf5193412dcf3d4c1f35c414a49c4e","datavalue":{"value":{"entity-type":"item","numeric-id":424122,"id":"Q424122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652518$A80527CC-CDA6-405B-A332-0ADA3894A1A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5690d52880a4157f32d4e9942a368cfd3f41f5a6","datavalue":{"value":"08C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652518$9CE8D7FC-0CB6-4F72-B2E2-24C1D8365896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652518$F1811340-7DE1-4B95-9281-001939F7EC15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78a00f55a73529bec25a09f497005c514c298ae9","datavalue":{"value":"5988463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652518$9DD6E338-2621-46EB-9BB4-EF03DA3C09B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de91e5ef097aa0eb71d0a0a3f27b4ba0a03e19a4","datavalue":{"value":"natural duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q652518$A5237862-557A-46B6-A936-EA5719285B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82b1f01bde78d55f089fb0997c9479a4be9f5acb","datavalue":{"value":"dualisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q652518$1EA96E0B-F255-4B39-A603-5EB0590846F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7d47da78473d857e43a501b51c101371950bd7","datavalue":{"value":"multisorted duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q652518$44ECDA45-3948-4C1A-BEFD-173126533180","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":"Q652518$F108D02F-BD6D-4E34-8D0E-C90C383B2409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a949a8b3d63625a1652b36a1addd2300d815341f","datavalue":{"value":{"entity-type":"item","numeric-id":1617820,"id":"Q1617820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652518$D2877F30-4DA4-446A-A9A0-1EBB4CF043D1","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":"Q652518$FB46250B-00BE-45DB-A4EB-664AD5B46A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7256ce4da28dc118cec51eb3d7cd80467cbfd7d","datavalue":{"value":{"entity-type":"item","numeric-id":1070252,"id":"Q1070252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652518$268D1614-DB42-40DF-A687-76224A87661E","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":"Q652518$9508AEF8-1EDE-4EF0-9A6B-11E2B4E6418A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be38aae63b58bd4d90bf22e890230dbeb08937e5","datavalue":{"value":"https://doi.org/10.1007/s00012-011-0158-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q652518$8ED70890-296B-4E8E-B652-538833F3BBE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4fcdb129595aa137c4ba46671d972afa9b0feb3","datavalue":{"value":"W2132223827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652518$22298822-9858-4928-B7EB-3C88A9DB5E21","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":"Q652518$826C4971-9275-47F0-81A5-DA8FEED351D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430110ab7aaf0731e519961026c7e422533e7e1","datavalue":{"value":{"entity-type":"item","numeric-id":1905993,"id":"Q1905993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652518$C459B8B0-4EF2-4EE6-BCBF-6AD47D151FC9","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":"Q652518$2619E67F-687F-4793-B988-AFABC4AD972F","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":"Q652518$B5D89834-6ABA-4EDE-BB37-157E53B7FAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652518$D2A56938-8CC0-4D3B-954D-C56C92D93BFD","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":"Q652518$0F860EF5-BEFD-4B14-A028-EBDE2F4F1065","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5e06f8bbf70f2e8e22bafd0af697387f3c982a8","datavalue":{"value":"10.1007/S00012-011-0158-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652518$9C346B94-969D-408E-A080-CE2E98E8682B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ea4c6681da6d4ee44b650929e62faf28905a95","datavalue":{"value":{"entity-type":"item","numeric-id":422337,"id":"Q422337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a404b30614b3b2627db7350a9e5857e23b6d9966","datavalue":{"value":{"amount":"+0.782977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q652518$58CEE8F8-3D23-49F9-898C-CC9E7F3A0767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d54ae7aae3e379fea3f1bdf6571f7cffec2058","datavalue":{"value":{"entity-type":"item","numeric-id":3043619,"id":"Q3043619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16888f35298e48f280302a6848a39957317a201","datavalue":{"value":{"amount":"+0.77177685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q652518$68EFED24-A3DC-4D22-BBB8-B99562DF1710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c98305efcd771ea1ff1f4c618da49e2c73ba812","datavalue":{"value":{"entity-type":"item","numeric-id":3118029,"id":"Q3118029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39b0277331091b5a3fc5622ad9a1023c9e3a708","datavalue":{"value":{"amount":"+0.7510691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q652518$67901E1B-2B83-4CDC-9CFB-2F5BA19144BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128c12e81e00957945971581a48f45020fa4e83a","datavalue":{"value":{"entity-type":"item","numeric-id":2882399,"id":"Q2882399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528e5b07aeab7b2f41dddaf6a76984f7769b22e3","datavalue":{"value":{"amount":"+0.7490212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q652518$CBECC24D-AFC5-484A-A281-C334571ED361","rank":"normal"},{"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":"7df3931a6c1aa1ccad55882a18e6d20abfd1841e","datavalue":{"value":{"amount":"+0.7398921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q652518$CC5826E2-A002-4BA9-A5D9-718CB13357F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d45ab9658583b74a61e8f2fd246604e3f0b2c49","datavalue":{"value":{"entity-type":"item","numeric-id":4220406,"id":"Q4220406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2946c176a2f5ce79d6a464ac90e7cd424ad38a","datavalue":{"value":{"amount":"+0.7257808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q652518$72F6A5E5-4E5F-4B52-A4EA-56251982D699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454157f6783ac60932f539f9887138f2a5ea8e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5446632,"id":"Q5446632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b97e7a6d510b9b59c744d52178d2f9dd904816","datavalue":{"value":{"amount":"+0.72454685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q652518$B31379BE-CDA7-46E8-A368-BAA75D0D8113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267d5f423ad704cc1ddc3e1c0984a90d379a8140","datavalue":{"value":{"entity-type":"item","numeric-id":4462475,"id":"Q4462475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc372ea8dd159bf1379245a07a8f7dc38245db62","datavalue":{"value":{"amount":"+0.7085952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q652518$019E8F6D-9318-4A8D-B445-6ACB5BFF4C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c2a88d07f0dd3081a3125e6eb8fbc55159fe5e3","datavalue":{"value":{"entity-type":"item","numeric-id":2583586,"id":"Q2583586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a01fabf6b0708253d397fc48a817aa955512274","datavalue":{"value":{"amount":"+0.7038751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q652518$48DD1CFD-8F43-4504-B9FD-32423235C87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd9970eea53f789918e0dbbd69b8205c1c11286e","datavalue":{"value":{"entity-type":"item","numeric-id":4786326,"id":"Q4786326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260e6cac061a2ef7543663d8708455331bfcb81c","datavalue":{"value":{"amount":"+0.70275277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q652518$CED218D8-EFE6-4C3B-885A-12541B75A8B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multisorted dualisability: change of base","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multisorted_dualisability:_change_of_base"}}}}}