{"entities":{"Q5946833":{"pageid":8123635,"ns":120,"title":"Item:Q5946833","lastrevid":47688322,"modified":"2026-01-02T10:45:46Z","type":"item","id":"Q5946833","labels":{"en":{"language":"en","value":"Residual smallness relativized to congruence types. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1660390"}},"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":"Q5946833$15E845FF-FAD3-4664-88DD-77129FABC32C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dab3540bcbc2ed4afa98f61eb96bc279157871d","datavalue":{"value":{"text":"Residual smallness relativized to congruence types. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946833$88A0927D-A82E-4B58-9358-136286A0AF19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"839f7a9ef27c36132bb3b8e75e09280fc229c3dc","datavalue":{"value":"1016.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946833$1CA0A4AC-82A0-4703-BDAF-931F8C13E5A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"905f21c52cc70b02236570dc450bf2b18478f024","datavalue":{"value":"10.1016/S0022-4049(01)00027-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946833$BB8505D6-7D20-4EF6-9078-D74CAB317F2F","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":"Q5946833$D676E849-0805-45A4-A400-16A4884506F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946833$567BC2CF-D6E7-41EE-91BA-653A0D0C823B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1395e3cd70742e731c96f59db982fc04f0d8f93d","datavalue":{"value":{"time":"+2003-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5946833$954ECFF2-AED2-41E0-B2A8-7E8F4812EC59","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c9f7ced0b6e60c873fb0f7c24829c1980aa0af4","datavalue":{"value":"Let \\(\\text{resb}^* ({\\mathbf A}\\)) be the least cardinal which exceeds the cardinal of each subdirectly irreducible algebra with non-Abelian monolith from the variety \\(V({\\mathbf A})\\) generated by \\({\\mathbf A}\\). The author proves that if \\({\\mathbf A}\\) is a finite algebra then the following conditions are equivalent: (1) \\(\\text{resb}^* ({\\mathbf A})< \\infty\\); (2) \\(\\text{resb}^*({\\mathbf A}) <(2^\\omega)\\); (3) every subdirectly irreducible algebra from \\(V({\\mathbf A})\\) with non-Abelian monolith can be embedded into an algebra from \\(V({\\mathbf A})\\) which is \\(|{\\mathbf A} |\\)-semilattice-decomposable; (4) every subdirectly irreducible algebra from \\(V({\\mathbf A})\\) with non-Abelian monolith can be embedded into a finite algebra from \\(V({\\mathbf A})\\) which is \\(|{\\mathbf A}|\\)-semilattice-decomposable. From this (and yet another) characterization it follows that the property of not having such a bound is a recursively enumerable property of finite algebras of finite type.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946833$05269E4D-B5FF-4CA9-B3F7-DB999BA9E920","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":"Q5946833$08B76F9D-1CE5-4B77-82B5-42E03F0BC696","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946833$D75E7BBE-90DC-44FE-850C-960AD80A49AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946833$D12DAE2A-50B5-44EF-A4A4-CFCE3765B340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946833$7AED13C1-BCA9-4627-9B8F-602D92C599ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946833$7A9860E8-EF61-4E6D-8EC8-02A173383E75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8439f41012e5b921990393fa15c89a537c0b1767","datavalue":{"value":"1660390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946833$0DEA0204-A504-4E74-BAFE-D4A8399FA27F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6b97e29d1b9020a9efd7f198bba29267b1fd07","datavalue":{"value":"congurences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946833$09F471C5-3688-4D1F-8770-8AE8C3CF67C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1052d5ad8d46db73a65608fc3f73bacbcd6d53a","datavalue":{"value":"varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946833$5759DA85-FE4C-4EB2-B69F-D7E6BAC19408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"136c8871aa0b4bc0381a4cfe4d090098de693dbf","datavalue":{"value":"residual smallness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946833$722BA3A2-1BB3-48F2-846B-BF0BF9516B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a918afae689617535801fd2f4a23b8567ac5acab","datavalue":{"value":"subdirectly irreducible algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946833$D6582FE7-8437-47F3-8F17-FFB5AA4D4E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a688c369468f577af7c7d403e8a5e55d9b715d1d","datavalue":{"value":"finite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946833$91A334CD-1776-48C2-A7FF-F259AA868914","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":"Q5946833$7B852A58-D791-4444-8137-9F9BFF1E6F2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"904504fe392a22e8db346500b9a19a1e5134d35f","datavalue":{"value":{"entity-type":"item","numeric-id":5842841,"id":"Q5842841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946833$923CFB2D-1F34-4794-8C52-AFCAF6212C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f0e5ef95212d287b49c1d50cd19ca098e20e70","datavalue":{"value":{"entity-type":"item","numeric-id":3775604,"id":"Q3775604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946833$02647603-EDC3-4401-97E6-78812433F397","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":"Q5946833$EBD7A738-EBE8-44F0-97BE-6F781207DCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b99f46083c25b5623c1aa537ee2a98b6df2250c","datavalue":{"value":{"entity-type":"item","numeric-id":4354692,"id":"Q4354692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946833$7F3FC82C-87B2-477E-87AA-1492BDF65323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d94e977ee00cd06f6bae622b6efbab206be0ce","datavalue":{"value":{"entity-type":"item","numeric-id":1924671,"id":"Q1924671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946833$0331302B-32E3-4A63-9F68-F7DA29175616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e39631dcc8f7789ffdd96f06a56ebfb90059618","datavalue":{"value":{"entity-type":"item","numeric-id":1193496,"id":"Q1193496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946833$BACA3CCD-1DBB-44CE-AD54-611150FBDCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0553a62adcf95cfafa62d2133d77cf8b2ffa1e2","datavalue":{"value":{"entity-type":"item","numeric-id":3351420,"id":"Q3351420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946833$128D8C5B-0999-4F7B-B224-F2EF1E3065E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7309811447ae9c3e1ee70c218fa14eb0e44fd8af","datavalue":{"value":{"entity-type":"item","numeric-id":4882916,"id":"Q4882916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946833$4A73A601-D074-4F31-81CF-ADE098AFB060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3701f59903dd13535f153cda7d9aa9c8742e0c37","datavalue":{"value":{"entity-type":"item","numeric-id":4882917,"id":"Q4882917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946833$CCEA9B05-CC8D-4CC9-B4EA-AA318AC7F9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c755764bf3c2cc56120dfd8ff75320667270af68","datavalue":{"value":{"entity-type":"item","numeric-id":4882918,"id":"Q4882918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946833$A0BD3CE2-85A6-4403-9969-0B2E5AA2B8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e834a322fa6377a4156b4f736b43252b85733369","datavalue":{"value":{"entity-type":"item","numeric-id":2710615,"id":"Q2710615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946833$745837CD-2027-4333-9757-2C5D05787A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd00bd6a2f32ab38fa3bd741d8c758ac20b5be0","datavalue":{"value":{"entity-type":"item","numeric-id":4786272,"id":"Q4786272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946833$DCE0CFD0-76BE-42DE-BF48-BF398BEE6EE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e434402edc3f6f2f3f3362be17b2d38ea7524080","datavalue":{"value":{"entity-type":"item","numeric-id":3043627,"id":"Q3043627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92974654c7ac563a7f79c60e75cec9e2b9b01318","datavalue":{"value":{"amount":"+0.8416669368743896","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":"Q5946833$9CEBE4ED-1F73-4FC8-8A30-BC90EF614DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a901aa7fd921abef78fb4130c886f802a747f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":3717104,"id":"Q3717104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ef447c5f30bb869538709a302c54c2af9cd03f","datavalue":{"value":{"amount":"+0.8358497023582458","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":"Q5946833$B316F81C-0941-47A1-A1A6-D1916D927BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92fd04508e6d58490e0fe29356e9e63d28741f82","datavalue":{"value":{"entity-type":"item","numeric-id":4257604,"id":"Q4257604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27117ac89e247cae2ee2c8163b81d8698bcfcddb","datavalue":{"value":{"amount":"+0.8249409794807434","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":"Q5946833$3DA8D402-A9D5-4446-921C-0F2F009C6685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"744266d39ebb34be0571cad77a1c08e5d38911bd","datavalue":{"value":{"entity-type":"item","numeric-id":3778048,"id":"Q3778048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aaadb23a9fb7f9d5c2719d5db581b072190b2f8","datavalue":{"value":{"amount":"+0.8249300122261047","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":"Q5946833$03F9C4AC-C21B-419D-B130-C32AD781E183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12424fd49707c0cd6dd267154046ca7d680ecb66","datavalue":{"value":{"entity-type":"item","numeric-id":1924671,"id":"Q1924671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e2e2c5f8dc942f94a551ae5b532aeac6c7a3d9","datavalue":{"value":{"amount":"+0.8242189288139343","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":"Q5946833$AD51AA34-9715-41EE-9AAF-859D395909B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5946833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5946833"}}}}}