{"entities":{"Q2510719":{"pageid":2521462,"ns":120,"title":"Item:Q2510719","lastrevid":73511310,"modified":"2026-04-14T16:16:48Z","type":"item","id":"Q2510719","labels":{"en":{"language":"en","value":"Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6324399"}},"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":"Q2510719$8B52115F-962E-4012-94C1-C9B054557A62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"801bce18bd5ed284ceca8f8bc88e7c67fdf4c1ad","datavalue":{"value":{"text":"Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2510719$C721D118-10BF-4390-A4A1-00F18549B0DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"392048601ecabb7b99cc06e021336c912e4e8a2c","datavalue":{"value":"1305.08008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510719$F65303A8-D46B-4068-9E63-9CA6D71D9434","rank":"normal"}],"P16":[{"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":"Q2510719$A2A9B63B-63A3-437E-B953-16B7B3F2DA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83edf687e87db231eb1aae462d2d9887611a063","datavalue":{"value":{"entity-type":"item","numeric-id":331016,"id":"Q331016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$E4B4AC0D-A5EC-46BB-8B76-8AE21FC69D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fb15a20bb0df235d27e226c77e4f91c85abab50","datavalue":{"value":{"entity-type":"item","numeric-id":438815,"id":"Q438815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$39BF6663-4A88-402A-9819-47E78EE03388","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":"Q2510719$989BBACF-E4EE-4AE4-BEDA-1CFC00B5B545","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b66c4ebdc3ea8a32c3e796d6baa3c7adc2ca06a","datavalue":{"value":{"time":"+2014-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2510719$95C75FDE-E40E-4E16-BCDE-5DD5DEBBC426","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa3e0f589a64207322a5ea88ce56c5f0aa380a56","datavalue":{"value":"It is a recent discovery by M. Siggers that the property of omitting type 1 is equivalent to a strong Malcev condition for locally finite varieties. Siggers proved that the class of locally finite varieties omitting type 1 is definable within the class of locally finite varieties as the subclass of varieties with a 6-ary Taylor term. In this paper, the authors strengthen this result to obtain strong Malcev conditions for omitting type 1 using the generalization of the Hell-Ne\u0161et\u0159il theorem that was proved by L. Barto, M. Kozik and T. Niven. The authors show that the class of locally finite varieties omitting type 1 is definable by idempotent, linear, strong Malcev conditions in the language with one 4-ary operation or with two 3-ary operations and this limit on the number of variables is sharp.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510719$EEADAC47-1087-49DE-A279-888A970A8D39","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$05CC8E95-CF9A-4D71-84F1-085E489DF924","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510719$6918DB9E-721A-4FC3-B56C-D8B807090661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510719$FABEDADE-0E94-4779-95E8-0E396FCD95D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24ba600ce6aedf4b3386959bed81fce1c9d30c4c","datavalue":{"value":"08A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510719$6C890977-B0E0-4F3A-AF5B-F91FB31E5FC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bdaf6c469b90ed04b373c403919b764cc55b066","datavalue":{"value":"6324399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510719$0C4391CC-7C56-47E6-AB60-BFF7B8969DA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1352bc18941d972d14f1291921ccfa827d0ca660","datavalue":{"value":"strong Malcev conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510719$05F0EC15-926E-4FF8-81C0-44CCAE44588C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0047358160b24dc80274ba04e0ea4fb5149336","datavalue":{"value":"locally finite varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510719$8CE146CB-14E4-4E7A-998D-8042386304D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"769292a2273b24ff40de8e9b8e0ba12ff851e11c","datavalue":{"value":"Taylor terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510719$286BF77B-E859-4F8B-A477-DE897D148EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5876c0104ab3a3f0a30993b375eb30c8538ed2a","datavalue":{"value":"tame congruence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510719$A60CB8B0-3FB4-4F5D-83D2-8C462A1347F4","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":"Q2510719$0CB80F23-1247-4054-8269-A911C46CB424","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6da776eb2e88bd32a2fb0de7a638837347a3065b","datavalue":{"value":"https://doi.org/10.1007/s00012-014-0289-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2510719$526FDB77-6195-4327-BDC9-6AC0B21E707E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ab2a3db4117dcccf18a82560b0cc26d09386016","datavalue":{"value":"W2009379153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510719$D56C9864-5283-4513-8B6C-404732E04610","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed83fe1da28146a38afa0befa44c1b2681b1778b","datavalue":{"value":{"entity-type":"item","numeric-id":2881074,"id":"Q2881074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$4D8CD5A1-A8B9-4E2F-9A40-6E6E5804E66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcc1beb258313c6cc88cda9ae62d481e75d9884","datavalue":{"value":{"entity-type":"item","numeric-id":3642864,"id":"Q3642864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$10B97C69-91DA-4CDE-A20F-7ACD00139FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf495049c97efeee8513ace897fd2d3339f6dfa","datavalue":{"value":{"entity-type":"item","numeric-id":3550542,"id":"Q3550542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$B781C055-F443-495E-BA71-04868BEFCFD1","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":"Q2510719$A799CEDA-F942-46A1-AA6B-1F5E59751878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec165abc7ade014841f417bcba31a647c17e0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1100215,"id":"Q1100215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$0F73BA85-4E13-48B1-B3F1-DE78311F5E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d99101b30853333ff5ca3c17c825ec34ae9021e","datavalue":{"value":{"entity-type":"item","numeric-id":4889961,"id":"Q4889961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$03E9B9FB-8379-42F0-9492-EEF31AD25B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$B2D5D6B1-20EF-4D2A-BA81-C8AD013280E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2576ed093c49c3a19e4ccfb584b3c402462cb50","datavalue":{"value":{"entity-type":"item","numeric-id":2351504,"id":"Q2351504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$97CF30EB-D9DB-4C96-991C-7608D9D70A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017c868935d8f1839f60251aaedd51287f004db8","datavalue":{"value":{"entity-type":"item","numeric-id":4129503,"id":"Q4129503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$89B09C00-6F63-43EA-BED4-3905C75CE8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2868ae382c809c0461af2b74228a57d86e190ab0","datavalue":{"value":{"entity-type":"item","numeric-id":1001467,"id":"Q1001467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$841A1BB1-D889-49CF-909A-C9C846F6C482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$98AF74B3-BA7A-427E-880F-5D06B5FDCE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa1a2d9d4e2a1e9599ac52466cd4cb3413947236","datavalue":{"value":{"entity-type":"item","numeric-id":616117,"id":"Q616117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510719$F87310F1-45BA-495E-8A7C-C7DFA24A04BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f18601dfdb9e80f02eb39915dfd353f49e07316c","datavalue":{"value":"10.1007/S00012-014-0289-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510719$9FC03ED2-BBC3-4567-8DA9-BCDAC726CE17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956e79506e3c20c8719cea8d7f864e7c1b39418d","datavalue":{"value":{"entity-type":"item","numeric-id":616117,"id":"Q616117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8940e00ddb5267503397f54002463408e1ba6159","datavalue":{"value":{"amount":"+0.8219496607780457","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":"Q2510719$994FF1AB-58DC-48C3-8649-44E537D0E540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1219299c30428f2d2f98e5172753d33c680c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2351504,"id":"Q2351504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec230ca774ace4337a274865bddc0315e613462","datavalue":{"value":{"amount":"+0.8195215463638306","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":"Q2510719$DD5F222E-EB05-4B8E-8FB9-3B75A1220808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100401a66783678fd423ca20a823b5787ee6fe08","datavalue":{"value":{"entity-type":"item","numeric-id":334968,"id":"Q334968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd9ece450d1c41fab953a076e2e4fbf17ad2edd","datavalue":{"value":{"amount":"+0.8051891326904297","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":"Q2510719$C949C3B5-4F35-4864-9B52-2F9AFBE9E320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b8b234dc4c969d3bbed8eda8eedbc7c8e86ce9","datavalue":{"value":{"entity-type":"item","numeric-id":2351514,"id":"Q2351514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073b7f102bbf0937ebb5bbb6c68b6050924a566b","datavalue":{"value":{"amount":"+0.7938571572303772","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":"Q2510719$1317A8DF-4122-47BC-8AD0-14BEA7FCF675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfa54c2e90ebe85522f57c6472fc1cc10136cae","datavalue":{"value":{"entity-type":"item","numeric-id":1001467,"id":"Q1001467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2251a39d30c9fb3b15c0e78b813558fa7a773a7","datavalue":{"value":{"amount":"+0.7768520712852478","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":"Q2510719$09DFF97A-00A3-473F-AA09-1F70F2636B5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.","badges":[]}}}}}