{"entities":{"Q1272240":{"pageid":1282990,"ns":120,"title":"Item:Q1272240","lastrevid":67185861,"modified":"2026-04-12T15:54:43Z","type":"item","id":"Q1272240","labels":{"en":{"language":"en","value":"Category equivalence preserves unification type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226560"}},"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":"Q1272240$8C60C915-4B83-4CB7-B6B6-19D53FEE95BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bc12403d911eff5fd9dd971a90408c13e978dca","datavalue":{"value":{"text":"Category equivalence preserves unification type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272240$0A60C025-5E7A-4739-93B4-C40E89DAB8C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a636d5dec95c60a311874459b3f8fec94eb2e70","datavalue":{"value":"0902.08014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272240$2CAB18F7-AE99-4F71-90C3-9E1D7F52FBC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1912889ca9c3cb5bd38f8c44fba4cfab79617a54","datavalue":{"value":"10.1007/BF01233916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272240$03B12DC3-CA2D-4B25-A108-A605BFD34F7E","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":"Q1272240$FB50FB41-106F-4687-8712-61F96267387B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddcf2cc5d9dca7413af18921ff9d977f276261fc","datavalue":{"value":{"time":"+1998-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272240$7BAE48B8-9381-4692-8505-8DBDE56528A9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ecd9b40b8ada09903da23f032b3b12544459b4f6","datavalue":{"value":"Let \\(\\Lambda =\\{f_{i}(x)=g_{i}(x): 1\\leq i\\leq k\\}\\) be a system of equations in the variables \\({x}=(x_1, \\dots , x_r)\\). A solution of \\(\\Lambda \\) in a variety \\({\\mathcal V}\\) is a homomorphism \\(\\alpha : F_{r}(x_1, \\dots , x_r) \\to F_{r}(Z)\\) (where \\(Z\\) is countably infinite) such that \\((f_{i}, g_{i}) \\in \\text{ker }\\alpha \\), \\(i=1, \\dots , k\\). Write \\(\\text{Sol}_{\\mathcal V}(\\Lambda)\\) for the set of all solutions. Let \\(\\text{Sol}_{\\mathcal V}(\\Lambda)/ \\sim \\) be the partially ordered set of equivalence classes of solutions. A system \\(\\text{Sol}_{\\mathcal V}(\\Lambda)/ \\sim \\) is called unitary (finitary, infinitary) if the set of minimal elements in \\(\\text{Sol}_{\\mathcal V}(\\Lambda)/ \\sim \\) consists of one element (finitely, infinitely many elements), and if every element in \\(\\text{Sol}_{\\mathcal V}(\\Lambda)/ \\sim \\) lies above some minimal element. A system \\(\\Sigma \\) is called nullary if none of the preceding cases occurs. The unification type of a variety \\({\\mathcal V}\\) is the worst of the above possibilities which occurs for some system \\(\\Lambda \\) of equations over \\({\\mathcal V}\\).    The aim of this paper is to show that equivalent varieties \\({\\mathcal V}\\) and \\({\\mathcal W}\\) have the same unification type, in fact for every system of equations \\(\\Lambda \\) over \\({\\mathcal V}\\) there is a system of equations \\(\\Lambda '\\) over \\({\\mathcal W}\\) such that \\(\\text{Sol}_{\\mathcal V}(\\Lambda)/ \\sim _{\\mathcal V}\\) and \\(\\text{Sol}_{\\mathcal W}(\\Lambda ')/ \\sim _{\\mathcal W}\\) are isomorphic partially ordered sets. The proof of the main theorem is based on Ralph McKenzie's algebraic criterion for the equivalence as categories of varieties. The last section of the paper deals with some applications of the main result for varieties generated by finite ordered sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272240$3B366A0B-5F9B-4DE4-A342-8118703D5739","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2adab0626bf002bea04f29c26757b67434c21595","datavalue":{"value":{"entity-type":"item","numeric-id":277550,"id":"Q277550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272240$31A5FB6A-9F59-41AB-8A10-DB5453F1E4FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272240$D6D570CF-ABF0-49B4-AD4D-2B2DF13B757E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272240$E40D6282-F9B1-46FC-994D-EA3196D39751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272240$FCE8737E-7357-4D86-B607-2CCDAA275B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272240$72585E8C-4027-4F37-B920-069D7048D179","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7758779423872e6ce13f4abc9e6750cf2bd8267","datavalue":{"value":"1226560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272240$BDC683C7-5441-4D0F-B5EB-B4EAC30CD5C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb9d9b3489590e2909b731161e1e53f29d64b0a","datavalue":{"value":"unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272240$D050E3F1-16E2-4A4D-9589-6F83B281B5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e977cf960bd69b6e77c88de890bbfe5fad58a8e8","datavalue":{"value":"finitary systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272240$8123F1E1-2724-4466-91C7-620C2456A504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e3171dd23065138705c31dfd69b9ea446abcbf0","datavalue":{"value":"equivalence classes of solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272240$5599D3FB-3D8C-41DD-BA8D-FD414FA1397C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2015a9e6da956b99d14b10c105319dbfc980e7a5","datavalue":{"value":"unitary systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272240$05599A6C-4F9B-4E7E-A46B-D83F393AC83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc5eb52965920ac151bb84c243c7ce9de38e18c","datavalue":{"value":"infinitary systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272240$9582C6D9-FD8C-4A13-975F-9FEB26A57EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ffc0fc27517310359fc3bec2394a3139535fad","datavalue":{"value":"nullary systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272240$3DE5BED8-E299-4771-944C-DCA8695442FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de112a34ff9048b1b550236768ba85524bc700ad","datavalue":{"value":{"entity-type":"item","numeric-id":766144,"id":"Q766144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272240$81300D5C-1529-4A92-92FF-7D0A2573F800","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":"Q1272240$D5D174A5-CCDC-40D7-8FB4-7B1716718E02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7031b41bf6d3d47f6d00e584755c14e2a6371d4","datavalue":{"value":{"entity-type":"item","numeric-id":4321864,"id":"Q4321864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272240$2485696B-3E1F-4FAE-B750-CBF17C12275E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272240$182149C4-AFEF-480D-8E85-8D76C14160D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac14b4a963fe8ffd6a9a7c2d0ec85f99c6c6cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3495674,"id":"Q3495674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272240$8795385F-7180-4522-8D31-7F5EE6CD44F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272240$54A5CCE4-3CB6-4E91-A2B8-B8562E8E0CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272240$36A52ECB-5034-4433-B0FD-67CAF4C8F8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c7911d82a39f2e212d8fbba5b2a52fe9e04508","datavalue":{"value":{"entity-type":"item","numeric-id":1229740,"id":"Q1229740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272240$493282E6-A1ED-494F-8843-9950BECF77CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cba6a2479789a4b4b4d87f032e7e05f5750a424","datavalue":{"value":"https://doi.org/10.1007/bf01233916","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272240$8E2E948F-0739-4CC8-A109-C9FE58374706","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40fde5a3d520ea91c6767a3560ecec9c7ed988d4","datavalue":{"value":"W2061919641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272240$5F059172-0C24-4EA5-9627-5910F9ECD4CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47970e91b97a182dca804e2e57c748532ce04a51","datavalue":{"value":{"entity-type":"item","numeric-id":2903751,"id":"Q2903751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6784cd4f0d262f53bb1817ea5401c06fab6dba30","datavalue":{"value":{"amount":"+0.7867811322212219","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":"Q1272240$4DAC6AD2-06C6-47A6-805B-632C50B8FC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d9e6176e3729777d139b3e1d073eb8eac84460","datavalue":{"value":{"entity-type":"item","numeric-id":1383954,"id":"Q1383954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860c477ee24c0e188231cfc7021ffd01a3efb67a","datavalue":{"value":{"amount":"+0.7850290536880493","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":"Q1272240$DF5BDED1-89E9-48FC-B5D9-75485C6949AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf2e1971d31bd72fc6945185bebca429f5d50e8","datavalue":{"value":{"entity-type":"item","numeric-id":4510931,"id":"Q4510931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ac9610020a83ca9b346093e8bbb46b2be5ec3d","datavalue":{"value":{"amount":"+0.7820581197738647","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":"Q1272240$40E57C35-0D30-48CD-84CA-498DDDA18309","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Category equivalence preserves unification type","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Category_equivalence_preserves_unification_type"}}}}}