{"entities":{"Q899557":{"pageid":901405,"ns":120,"title":"Item:Q899557","lastrevid":65234217,"modified":"2026-04-12T01:12:28Z","type":"item","id":"Q899557","labels":{"en":{"language":"en","value":"Cellular objects and Shelah's singular compactness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6524650"}},"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":"Q899557$0D747EB6-96DF-49FC-A0FE-80B15DEE906A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a168a9503776c7dafdb9aaebed49d16aa64351bc","datavalue":{"value":{"text":"Cellular objects and Shelah's singular compactness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q899557$3960DE69-0B99-4AD2-9523-C051B818C309","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b67337346b96446a9816b21631adc0c15c833e8","datavalue":{"value":"1332.18009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899557$95326AD9-7494-4D61-A43F-06B7C3D40376","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b93a7088f0f3f3d6d8299d78aae3a1d1876d975","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$8B7892F2-2C46-4B4C-A747-F161FD449437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e511262c7c3e21041cdbdcceefac796dc02a84a","datavalue":{"value":{"entity-type":"item","numeric-id":226531,"id":"Q226531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$0619A784-C274-4B6C-B792-FBBBB346F6DD","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":"Q899557$063A5F17-BE73-4AAB-9961-A2B755760645","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"394a504b7320862e6807f6e2451d3143d7178f61","datavalue":{"value":{"time":"+2015-12-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":"Q899557$46EE64E3-FC64-4A1E-B48A-7AD01D15893A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4907a0f934c0cac3e68c185358a97cdf3d9cf06","datavalue":{"value":"https://arxiv.org/abs/1406.3819","type":"string"},"datatype":"url"},"type":"statement","id":"Q899557$D3274F73-FAA7-49ED-952B-058D4CCA1E76","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"07584878314e6fbe3bbc956d462fa857f248e567","datavalue":{"value":"Shelah's Singular Compactness Theorem states that if \\(A\\) is an abelian group of size \\(\\mu\\), where \\(\\mu\\) is a singular cardinal, such that all subgroups of size less than \\(\\mu\\) are free, then \\(A\\) itself is free. This theorem has various generalizations which all look informally like the sentence ``if \\(\\mu\\) is a singular cardinal and \\(S\\) a structure all of whose substructures of cardinality less than \\(\\mu\\) are free, then \\(S\\) is free itself''.  The goal of the paper is to make the above sentence precise. Two formulations are proposed: the functorial form and the cellular form. The functorial form starts from a functor \\(F:\\mathcal{A} \\to \\mathcal{B}\\) preserving filtered colimits from an accessible category to a finitely accessible category: think of \\(\\mathcal{A}\\) as the category of sets, \\(\\mathcal{B}\\) as the category of groups and \\(F\\) as the free group functor. The functorial form states under a technical condition for \\(F\\) that if \\(X\\in \\mathcal{B}\\) is of size a singular cardinal \\(\\mu\\), if all subobjects of \\(X\\) of size less than \\(\\mu\\) are in the image of \\(F\\), then \\(X\\) itself is in the image of \\(F\\). The functorial form is actually a little bit more general since it only assumes that ``enough'' objects of \\(X\\) lie in the image of \\(F\\). The cellular form starts from a set of morphisms \\(I\\) of \\(\\mathcal{B}\\) which is supposed now to be locally finitely presentable (the cocompleteness of \\(\\mathcal{B}\\) is required indeed): think of \\(I\\) as the singleton \\(\\{\\varnothing \\subset \\mathbb{Z}\\}\\). The cellular form states that if \\(X\\in \\mathcal{B}\\) is of size a singular cardinal \\(\\mu\\), if all subobjects of \\(X\\) of size less than \\(\\mu\\) are \\(I\\)-cellular (i.e. the unique map from the initial object is a transfinite composition of pushouts of maps of \\(I\\)), then \\(X\\) itself is \\(I\\)-cellular.","type":"string"},"datatype":"string"},"type":"statement","id":"Q899557$8D1AE201-EAD6-434C-9622-8AEC200BD0F2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b83d2f7098073ec0ce332f8e7bca96a6bda9b9ca","datavalue":{"value":{"entity-type":"item","numeric-id":589562,"id":"Q589562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$C35D0E53-A7AD-4CE7-ACE7-C42083900B8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899557$3592400E-ACB5-4F79-9959-5C76D793CBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899557$03C4D983-A5B3-48B6-95C2-FC4C1D9A6395","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b1573a2e2b73f9c045af3c69966c198c9705c26","datavalue":{"value":"6524650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899557$8AAB08E1-399B-40B0-A4D5-E92878742243","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad9e781e9437b216f89b633442162e88123a1d87","datavalue":{"value":"locally presentable category","type":"string"},"datatype":"string"},"type":"statement","id":"Q899557$2A23D16A-8336-4199-8EE6-68E08A70246A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d239105e649723439f93b0962b8638c7b35cb5","datavalue":{"value":"accessible category","type":"string"},"datatype":"string"},"type":"statement","id":"Q899557$F3CED9C9-25BE-4A02-92BF-AB8F768752F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca28a1fae6172113dd8a0457229fc75cbbc64b5","datavalue":{"value":"accessible functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q899557$1D391DD2-05ED-4937-9364-F6953C0C2C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c1e20da2e0b0ff36aece792abf72b8107567f98","datavalue":{"value":"singular cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q899557$4CDEA53E-1B31-49E5-80BF-0D7EEBCEC6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06df91f6bae8c88d646dbfd20875c15217b4b557","datavalue":{"value":"cellular object","type":"string"},"datatype":"string"},"type":"statement","id":"Q899557$BCDBE00A-95C0-480D-88B5-4A67813CA4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e12be7e971ad8c77c4f3559f77e7d54f454509d","datavalue":{"value":"free structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q899557$B159C697-D250-4AEB-8C14-48973EA3E94A","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":"Q899557$54063C6E-297F-40D5-B4B9-AE0FDCBA2C35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac29fa70e8237365cebf16b498a813aa96f1156b","datavalue":{"value":"W1881176474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899557$D2CC7F0E-4086-4ECC-8B26-B504A3DD0DA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da794bda7b508c1f687a261e4a72f419fac03d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5311762,"id":"Q5311762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$D03BFE1F-591C-4912-92D0-12E27645191F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f599ce439f3078f50ee0e82126fb7172bdd61e","datavalue":{"value":{"entity-type":"item","numeric-id":714732,"id":"Q714732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$46514567-E1B2-4516-9AB4-53619AB2606B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a9737fe5d5d6535ea8593f91c3a12ae40337ce","datavalue":{"value":{"entity-type":"item","numeric-id":1934963,"id":"Q1934963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$FFF5CCF7-5CD5-47EE-B21C-306C8D9A7CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0395139c7d82dc6e98e1c88dfb129464a311d406","datavalue":{"value":{"entity-type":"item","numeric-id":932944,"id":"Q932944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$CE2AA84D-8EDC-4870-9C0A-7E97933AB231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba10a227b7b0ab28f76deefd9f94f3582304bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3995749,"id":"Q3995749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$228FF110-8B5B-4AB5-AA96-787BB6B94C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d0492ea3d72395e29b1885d62b947f8c8c55fa","datavalue":{"value":{"entity-type":"item","numeric-id":639476,"id":"Q639476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$B52A1082-642C-46E3-B5B0-34B5FE5B4860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf27b7a78446b5193e149e1748bf4d4fa28420c","datavalue":{"value":{"entity-type":"item","numeric-id":4790109,"id":"Q4790109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$3D007C65-2B27-4554-8876-8EB242B8396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5620b8c13f4fcb7cf6f9fe8e0e674069b7b2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1159631,"id":"Q1159631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$5DC802E6-5D84-4AC4-8953-40A944243FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3152d8e4b139c56be2c850741e16ba2d6231d","datavalue":{"value":{"entity-type":"item","numeric-id":4220599,"id":"Q4220599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$85DF75E5-F3B5-4C8D-977C-26EFE372A4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$F38BA9F4-4E11-47E7-A827-D554F3247756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6cecbe480749eded9419f3487b585e7f2f3144","datavalue":{"value":{"entity-type":"item","numeric-id":3995283,"id":"Q3995283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$477AA5A9-3747-4724-94EE-10024DB3A8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f85266c568470c02989bada60043d16971dbfce6","datavalue":{"value":{"entity-type":"item","numeric-id":2445953,"id":"Q2445953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$083EBA2A-9FBA-4D13-9E7D-A1E504EB3AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc9946b2cf2fcde49e934da08020339a8534d08","datavalue":{"value":{"entity-type":"item","numeric-id":1422066,"id":"Q1422066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$8C785DBE-94E1-447F-B43D-5335C516DE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea899455befba26ee56ba0c94c941788f1c4580","datavalue":{"value":{"entity-type":"item","numeric-id":2525650,"id":"Q2525650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$1C4D2780-2374-4BAD-8700-1DC35551AC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae6f33194c9846caa16f02b3e2f03a12dfb995f","datavalue":{"value":{"entity-type":"item","numeric-id":2394316,"id":"Q2394316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$816278F6-9F9A-4DF2-B420-A5F4D84F4857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc191b978b23597a5cd371794c35472d583cf09","datavalue":{"value":{"entity-type":"item","numeric-id":639542,"id":"Q639542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$1DDB9AED-9833-4995-A3E8-3436B59D913A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46ffad42e8f7c9090b79a66a81bc098644af40d","datavalue":{"value":{"entity-type":"item","numeric-id":1243715,"id":"Q1243715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$76524B34-62EC-4B9A-8B05-8A0E92112254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d4a799934141da7c29f01edc10e0b00564a284","datavalue":{"value":{"entity-type":"item","numeric-id":3781082,"id":"Q3781082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$43B9490C-8712-4CB4-A118-1FE87D70DF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899557$F7B17474-EC88-40CB-B42A-2B4033C85042","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a03693ed59696771ca5c4067599ab96b001c7605","datavalue":{"value":"10.1016/J.JPAA.2015.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899557$41D9A757-CAB3-4ABD-AFA8-D13972211880","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec3df906afa56ba7f6cd82f13d9645453b7e4d5","datavalue":{"value":{"entity-type":"item","numeric-id":932944,"id":"Q932944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d250f68bbc7cf82decdf252ae485979f35a91b","datavalue":{"value":{"amount":"+0.8321051001548767","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":"Q899557$A668B0F3-D4B3-41F2-B5C4-92E4AB57EB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85bf3755d7fe7ddd390fdb2844971f81e23dc3f7","datavalue":{"value":{"entity-type":"item","numeric-id":4881915,"id":"Q4881915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"924d85a9fd4cc02a78e00a35d8f78c74decd98b4","datavalue":{"value":{"amount":"+0.7520780563354492","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":"Q899557$3F9938CE-FCCC-4EC2-B90E-17BC88476C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e2f8222c14ed9790ef664673902abde7adbd85","datavalue":{"value":{"entity-type":"item","numeric-id":6103464,"id":"Q6103464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798dd24b87617ae7dc9f82b59254e090cdbe3636","datavalue":{"value":{"amount":"+0.7520779967308044","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":"Q899557$621D3426-74EF-4DDA-B095-F8841EE5BC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edb77b10051df64fc0c6a33e6c12cbb929d61f7","datavalue":{"value":{"entity-type":"item","numeric-id":1821773,"id":"Q1821773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca2d705e3e1bd0fe715fb2f8e9f0fb9fd9d9541","datavalue":{"value":{"amount":"+0.7372165322303772","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":"Q899557$DB373CEA-3A1C-4C80-882E-88347C142E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2eee99c886fff21d27dbfff610b793592f0e643","datavalue":{"value":{"entity-type":"item","numeric-id":5154696,"id":"Q5154696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb05343e53a8b4df4e96042f6d6ded741dd2c97","datavalue":{"value":{"amount":"+0.6922221779823303","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":"Q899557$9B4A2E24-6675-43CB-BC63-30E547CDBE31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cellular objects and Shelah's singular compactness theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cellular_objects_and_Shelah%27s_singular_compactness_theorem"}}}}}