{"entities":{"Q1893135":{"pageid":1903877,"ns":120,"title":"Item:Q1893135","lastrevid":46389753,"modified":"2025-12-24T16:49:58Z","type":"item","id":"Q1893135","labels":{"en":{"language":"en","value":"Uniformization problems and the cofinality of the infinite symmetric group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 769227"}},"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":"Q1893135$CCC795B7-502C-45FF-BACA-0A5F0EBB3F1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c84de75ce7cca3202c9fdea03348d4555d3007ad","datavalue":{"value":{"text":"Uniformization problems and the cofinality of the infinite symmetric group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893135$993047CB-9D34-4B2B-9CAC-6C6F78283504","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85f1a5bd186f903a39c3e6d4907dc4c118708b22","datavalue":{"value":"0824.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893135$E20997C9-D3FA-4306-9CA8-38544E212D13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"105c2eb120579851ad222ff84ded459b6c4e71c3","datavalue":{"value":{"entity-type":"item","numeric-id":1805405,"id":"Q1805405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$90CB72B1-CA97-4584-B8B2-9409E7B05084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fee6d7c6a61a047db4fa1acc0036957ae324bbfa","datavalue":{"value":{"entity-type":"item","numeric-id":194963,"id":"Q194963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$D82430E2-F430-4D29-BA18-74A227E0554A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$7982DA4E-C77C-43F5-8C0F-1CDE641C74C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"870f54d3b5c36ab024bbe86b2f4a8332983cee6c","datavalue":{"value":{"time":"+1995-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893135$BD2AB02E-ACE3-44DB-B296-AAB2788DE80C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e4f4e744f526bf4752d10fdc8ea91a8f72d52d2","datavalue":{"value":"For a group \\(G\\) which is not finitely generated, the cofinality of \\(G\\), written \\(c(G)\\), is defined to be the least cardinal \\(\\lambda\\) such that \\(G\\) is the union of a chain of \\(\\lambda\\) proper subgroups. For an infinite cardinal \\(\\kappa\\), denote \\(c(\\text{Sym}(\\kappa))\\) by \\(c_ \\kappa\\). \\textit{H. D. Macpherson} and \\textit{P. M. Neumann} [J. Lond. Math. Soc., II. Ser. 42, 64-84 (1990; Zbl 0706.20004)] proved that \\(c_ \\kappa> \\kappa\\), for any \\(\\kappa\\). In particular, \\(\\omega< c_ \\omega\\leq 2^ \\omega\\); so \\(c_ \\omega= 2^ \\omega\\) if the Continuum Hypothesis is true. The authors study the question of computing the value of \\(c_ \\omega\\) in the case when CH is false. They show that \\(c_ \\omega< 2^ \\omega\\) is consistent with ZFC. The main result of the paper: Martin's Axiom implies \\(c_ \\omega= 2^ \\omega\\). There is a similarity between the problems of computing \\(c_ \\omega\\) and \\(\\text{cov}({\\mathcal B}_ 2)\\), the covering number of the Mycielski ideal \\({\\mathcal B}_ 2\\) on \\({\\mathcal P}(\\omega)\\). (The ideal \\({\\mathcal B}_ 2\\) is defined to consist of subsets \\(X\\subseteq {\\mathcal P}(\\omega)\\) such that \\({\\mathcal P}(A)\\neq \\{B\\cap A: B\\in X\\}\\), for every infinite subset \\(A\\) of \\(\\omega\\); its covering number is defined to be the least cardinal \\(\\lambda\\) such that \\({\\mathcal P}(\\omega)\\) is the union of \\(\\lambda\\) sets in \\({\\mathcal B}_ 2\\).) It is shown, however, that Martin's Axiom does not decide the value of \\(\\text{cov}({\\mathcal B}_ 2)\\); namely, \\(\\text{MA}+\\neg \\text{CH}+ \\text{cov}({\\mathcal B}_ 2)= \\omega_ 1\\) is consistent with ZFC. (The latter result was independently proved by \\textit{J. Cicho\u0144}, \\textit{A. Ros\u0142anowski}, \\textit{J. Stepr\u0101ns} and \\textit{B. W\u0229glorz} [J. Symb. Logic 58, 42-54 (1993; Zbl 0782.03024)].) The authors study some related questions (the so-called uniformization principles) to analyze the difference between the two problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893135$85404513-683B-44F4-AE71-41BD26CE540C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893135$CD9416CA-1C23-43FB-8A19-12D81E76B95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893135$D54D3480-4C85-4536-A4B3-AABAC332DCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa3a0cd38ea582d702916ee49599e832f201d954","datavalue":{"value":"20B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893135$98126F92-DDE5-4A74-AB78-9E27014C3A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893135$868493B8-779E-4D06-9CE5-239EBCCB9D6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26ef2075e954ec3c34107165e273169a68092933","datavalue":{"value":"769227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893135$D9804B87-3700-4DBD-85F6-2633BE0BA13E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893135$E652F5EF-A9F3-4D11-9980-7B5E34AA1DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bed4a59adbb3c028dabe85f9d6273806e25bc0f3","datavalue":{"value":"cofinality of a group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893135$0012C6A9-0AFA-4B37-B500-88A2DF5932BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc7b466a4d1a5964a02eb6d2cf2df29dcce62d7","datavalue":{"value":"Martin's Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893135$29151AFE-5A3E-4A8A-9E46-5DB0F1A3FA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc6d24812670ab234e441a881881c607b2f5852","datavalue":{"value":"covering number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893135$0265BA2B-292D-4E81-8A68-FB7E5B2E541A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c1aa1909b4c0268a93c93dd4de43e6fb57b1da","datavalue":{"value":"Mycielski ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893135$9D87AB75-0CEC-4FFE-ADD2-BE777AE71758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1182631142412499643738afe82e0048be7b105e","datavalue":{"value":"uniformization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893135$34A7C77B-4798-463C-9541-464D8B5D2668","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$BC2DB43D-A37E-42D3-8F3F-1340918D3887","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":"Q1893135$D6A6E1BF-1B09-4CF6-84A9-D1F3F84C967C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f457c29d8d8a8c750e3e7ffb1db2bc21594fa881","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040511341","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893135$7AB70B5D-9DDB-467E-B17E-1E1796747C01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3fcb786e1a463461b6c35338657dfdfa71e4452","datavalue":{"value":"W1987979193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893135$40971485-B93E-4E6B-912D-6CADD0E32F3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc39a2088aca7adf623cb0babb876b35e350bbe1","datavalue":{"value":{"entity-type":"item","numeric-id":1071014,"id":"Q1071014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$961F29A5-7B06-4E72-B488-E358004573C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a02527b6dc590613bfc39bb6aa25a2bdefb56d2","datavalue":{"value":{"entity-type":"item","numeric-id":3220578,"id":"Q3220578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$41CD39F6-B3C6-40BA-843A-5C974E64A957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ef188e8553ab227f0507d2f4fffd13da9b1173","datavalue":{"value":{"entity-type":"item","numeric-id":5287677,"id":"Q5287677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$AC057F3A-0853-4990-B1DC-F6E5ED75F3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$73A8EB37-871A-4783-9912-C9A377440547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13612151330a2a0983b1219a5ad4c32f33062535","datavalue":{"value":{"entity-type":"item","numeric-id":3820786,"id":"Q3820786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$405851E0-482E-42B5-A983-E2C8ECC26807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45cd2ea360d17b085a46e8bc7dd71d81d0bdfcf","datavalue":{"value":{"entity-type":"item","numeric-id":1169456,"id":"Q1169456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$642481E3-8345-4CB4-A908-878612262481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1fb64610bcc79cf9a080b4c515c9355578a68bb","datavalue":{"value":{"entity-type":"item","numeric-id":3786624,"id":"Q3786624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$35CDE8D8-A1F4-4B76-B6BB-639C7773B32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c000009930df9c8318a8d9f5bca7755b9a8b21","datavalue":{"value":{"entity-type":"item","numeric-id":4040819,"id":"Q4040819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$BFCBE3C4-0CBE-4DB3-B844-79964C2B3128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44509105002ef4ea497ecf7a0a4b0bc9322e4f84","datavalue":{"value":{"entity-type":"item","numeric-id":3977660,"id":"Q3977660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$92AF78FD-51D8-4746-A201-8AA08A3D04E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fca2c82d27a40344ee054eb9cbc96d01dc05c0","datavalue":{"value":{"entity-type":"item","numeric-id":1201333,"id":"Q1201333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$1F86590D-41F1-426D-91CA-E5E74D3967CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9617455820ae080837b6f9b4a26b0077776292fc","datavalue":{"value":{"entity-type":"item","numeric-id":1803755,"id":"Q1803755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893135$55911DFD-F4E0-473E-862E-A029EB5A5A73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3f16bc92a4a700580961910f1184d9e006b6a77","datavalue":{"value":"10.1305/NDJFL/1040511341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893135$F2CBEEAF-9659-401B-98AC-7F06C0A84CF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b6ea585fd3118601a7b4c1a7b87a3e8e650cf2","datavalue":{"value":{"entity-type":"item","numeric-id":1283121,"id":"Q1283121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ccc522b0b4b9f10d37761a77207d30798c867a","datavalue":{"value":{"amount":"+0.8812429308891296","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":"Q1893135$2E95DFC7-5C44-4194-B384-3286B54F4622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2d7fc61fa651f3d00861c2cf8cbdc1f1baf69e","datavalue":{"value":{"entity-type":"item","numeric-id":4650289,"id":"Q4650289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1feeb01b83aefe9344aa7b000d2597a71827158","datavalue":{"value":{"amount":"+0.8441380858421326","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":"Q1893135$8460632F-DA1B-461E-A403-459AE1015814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ebac22cf4754c2bde4d8dc7d190fc28111045f","datavalue":{"value":{"entity-type":"item","numeric-id":1588399,"id":"Q1588399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df55284809eb220bcc7705aeaeff3d441e5fafc3","datavalue":{"value":{"amount":"+0.8405892848968506","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":"Q1893135$7C29B6F2-4DA1-47D3-8CA5-9F796A92E55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6cb5812f11bae9a11e5cdf3de9a4b346b3674e","datavalue":{"value":{"entity-type":"item","numeric-id":3150977,"id":"Q3150977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8f87bfb66d9ac62b11e6ec014b0d28f74ad554","datavalue":{"value":{"amount":"+0.8389724493026733","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":"Q1893135$F27D0596-5B72-4082-A6AD-C340E6065693","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1893135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1893135"}}}}}