{"entities":{"Q2040186":{"pageid":2050928,"ns":120,"title":"Item:Q2040186","lastrevid":72488850,"modified":"2026-04-14T05:15:58Z","type":"item","id":"Q2040186","labels":{"en":{"language":"en","value":"The cofinality of the symmetric group and the cofinality of ultrapowers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370894"}},"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":"Q2040186$565B797F-409D-4D19-9142-EDD69C88A6C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a99dd84247b6795d9d2f1fe91e4f32be67d17474","datavalue":{"value":{"text":"The cofinality of the symmetric group and the cofinality of ultrapowers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2040186$D4972C3C-59DE-4C25-B36C-97C2914C353D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fb81e2e3056c5834264e8ebd7c30ca9f7565570","datavalue":{"value":"1482.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040186$43BDE67E-305A-4C10-BB41-7B3DF05825EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9ed88144f8e77d3f597a755edcd2688505232bb","datavalue":{"value":{"entity-type":"item","numeric-id":175051,"id":"Q175051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$6AFA4C49-B0C5-4F01-A8AF-E81FB82BA445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$FD5E6B01-2178-4F1F-A165-03110E534732","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$02013F3D-EDC3-4AB8-A87D-D9665726DCE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b168cbdb70f056f1ff9fc87d7bff79f83c6e09a3","datavalue":{"value":{"time":"+2021-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2040186$D15120E3-DA97-4B40-AEA7-ECD801392A78","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4263e58dbd6e1b5800f4330eeefbf06533601436","datavalue":{"value":"In what follows, we assume the reader is familiar with some well-known cardinal invariants of the continuum (like \\(\\mathfrak{b}\\), \\(\\mathfrak{g}\\) and \\(\\mathfrak{d}\\)).  In the paper under review, the authors compare the cardinal \\(\\mathfrak{mcf}\\), which is the minimal cofinality of the ultrapower \\((\\omega,<)\\) by a non-principal ultrafilter on \\(\\omega\\), and the cofinality of the symmetric group on \\(\\omega\\), \\(\\textrm{cf}(\\textrm{Sym}(\\omega))\\). Notice that both cardinals are regular in \\(\\mathbf{ZFC}\\). By previous known results (due to Blass, Mildenberger, Brendle, Losada and Thomas), in \\(\\mathbf{ZFC}\\) both cardinals have value in the interval \\([\\mathfrak{g},\\mathfrak{d}]\\).  The authors present two forcing constructions. The first forcing shows the relative consistency of \\(\\aleph_1 = \\mathfrak{b} = \\mathfrak{mcf} < \\aleph_2 = \\textrm{cf}(\\textrm{Sym}(\\omega))\\). The second forcing separates the two cardinals in the second direction above \\(\\mathfrak{b}\\), meaning that the consistency of \\(\\aleph_1 = \\mathfrak{b} = \\textrm{cf}(\\textrm{Sym}(\\omega)) < \\mathfrak{mcf} = \\aleph_2\\) is established.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040186$B7B5B261-C0CB-42FF-9959-CE940CCD94E0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a0ae6337f49f5eed9f6ac1790449f5e4919c76d3","datavalue":{"value":{"entity-type":"item","numeric-id":590094,"id":"Q590094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$F4AD04B2-CD9A-4F09-8E0C-5EDE1382B392","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040186$546CD3A7-F372-4F7E-9591-ED38834C84AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7616612992c84602384e57bfbbf3c7c24bdb2b3a","datavalue":{"value":"03E17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040186$8D5FBD4A-BB6A-4BE4-B2C9-F15E3C9BACE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040186$77929281-96B5-40F1-A9EC-4B0BF9304EA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3effc30802db38e2ec062287a3b08e23c06d038e","datavalue":{"value":"7370894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040186$D920E098-F561-444C-9648-02B8F4123B90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"332cda51de2514accf4e007bd2d0fb6ee404b77a","datavalue":{"value":"cardinal invariants of the continuum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040186$7C177DF1-80CD-45B8-99F9-7E55A05AD240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb6815c56be296a43b1e45c998051a731d53c16","datavalue":{"value":"consistency results","type":"string"},"datatype":"string"},"type":"statement","id":"Q2040186$C6E36970-29FB-4A60-926B-44B20B072A1B","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":"Q2040186$064E0CD3-94BE-417A-81EA-7327266FB982","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67670e805370720cb8a796ff01d3da13793220c5","datavalue":{"value":"https://doi.org/10.1007/s11856-021-2124-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2040186$2387634A-852B-4265-90F6-A41BC8E3D3AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dd7e00f3a2042a1e0eefcb230519697bbcdc704","datavalue":{"value":"W3136661275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040186$1B36EDC7-C0D5-4927-9B2E-FDA8B9E8B281","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3f61905065ea973a09b9fee58c752f2b371318","datavalue":{"value":{"entity-type":"item","numeric-id":4844091,"id":"Q4844091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$EEB905BE-815A-4688-9011-70E848F81267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fb7827e0371f1df004225b1a58743feedb9b7e","datavalue":{"value":{"entity-type":"item","numeric-id":4650289,"id":"Q4650289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$CFF75F12-2385-4D30-844A-761A500258C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b20dc23c07277e70498e446cf342766282f8ca","datavalue":{"value":{"entity-type":"item","numeric-id":4732462,"id":"Q4732462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$0FF24E72-9DF5-4495-A045-66784A48A129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb2a87c38c7b820f9a2144f1a44df95e2707345","datavalue":{"value":{"entity-type":"item","numeric-id":4262579,"id":"Q4262579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$4C03D133-5712-42BF-B5A0-BA588411B284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3399d4af9d39b15ff1c59ccb56407117a34aa401","datavalue":{"value":{"entity-type":"item","numeric-id":535154,"id":"Q535154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$81C0E09B-D89B-43F8-A9E2-9EA40E7E3AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194d55d6bb7b1ecdd45e711f29b59dcde8ed7d24","datavalue":{"value":{"entity-type":"item","numeric-id":1096622,"id":"Q1096622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$DB77AF15-DE61-42E0-8DD9-4CEF0F9FFDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cffa0a7ee3711458525ed3c04dcec038482f138","datavalue":{"value":{"entity-type":"item","numeric-id":914666,"id":"Q914666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$5BE128E9-347D-49BE-AF02-4B838AEE191B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2425ae24415677117ca73e2720e0f2b9d5d5ad92","datavalue":{"value":{"entity-type":"item","numeric-id":3201040,"id":"Q3201040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$76F2300F-7A67-4D95-AD16-07D0F9CA9A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32b1ee3fffe4dc16126c1918acf96a6803bfcb9","datavalue":{"value":{"entity-type":"item","numeric-id":4848573,"id":"Q4848573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$55E2A4A1-9847-4107-988C-5448895D9246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$16A56997-2625-44A8-B31D-CEBE7D12DAA5","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":"Q2040186$B944464D-6904-4FCD-8902-225531E45D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a1b1a5a9cdd60b6634a3279336d91c815111c","datavalue":{"value":{"entity-type":"item","numeric-id":3880836,"id":"Q3880836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$09DB4847-FAD8-48BC-BCCF-334D36D73081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa7c5858698b3bbec7f6899e5b0a90c90330a5e9","datavalue":{"value":{"entity-type":"item","numeric-id":5931216,"id":"Q5931216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$9DF44736-0BC5-4195-B45A-39EEDC296EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d0fa5fe5a8f942bcbfe9553cf49cef38d7eb04","datavalue":{"value":{"entity-type":"item","numeric-id":3107357,"id":"Q3107357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$485D6EFD-4AEC-47B9-9943-BEF0CEF8C14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34519a7159675baa4b69784db180f4ed0d309a47","datavalue":{"value":{"entity-type":"item","numeric-id":2493904,"id":"Q2493904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$A9DB0E37-F496-4C6E-B617-10BC7360C4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ebc709888992c243c1eb076775b87e50754bbbf","datavalue":{"value":{"entity-type":"item","numeric-id":3772893,"id":"Q3772893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$5091983B-FD2B-40CA-A0EA-9221C2D4F0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b115417da4596f984d442e9c11bba2cc074d3bf","datavalue":{"value":{"entity-type":"item","numeric-id":4375363,"id":"Q4375363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$6FF986CE-5300-4BE3-98A3-0075EB515530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca47710ab4916bacf57f31c2c1764e60bfbed10","datavalue":{"value":{"entity-type":"item","numeric-id":3430925,"id":"Q3430925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$F150A79D-CCCB-4EC2-89D5-1B34BCD36FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff64eba11592b309f8765890cf3a985851a568f0","datavalue":{"value":{"entity-type":"item","numeric-id":688512,"id":"Q688512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$007E8F04-81A4-490B-8475-30D9CEE7BE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360f6ca88c8276218d72fad1d70fe1038c24febc","datavalue":{"value":{"entity-type":"item","numeric-id":1325056,"id":"Q1325056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$756E7DDE-FFDF-4474-9CA9-8367251D42BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4377462720d67a797e22d83f5799f04a21713a4f","datavalue":{"value":{"entity-type":"item","numeric-id":1805406,"id":"Q1805406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2040186$2949B246-E151-4178-9C7E-FA24481BC509","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"124dd5085efd26428e5ab4bdd7d1293a6b851f63","datavalue":{"value":"10.1007/S11856-021-2124-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2040186$6E1A5835-E7EB-4242-BAA7-CE9A2AA1349C","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":"4b6d35bd71ff2cc627603697c62d521cb4d9848a","datavalue":{"value":{"amount":"+0.8189559578895569","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":"Q2040186$C4C4F4CA-2670-410E-A46B-5B3675B06A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e81c048a4f20dbb9baece88dee1a33166d2c51","datavalue":{"value":{"entity-type":"item","numeric-id":4532616,"id":"Q4532616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6acf8a09bbcd1dec3e7eb22aff4b9fa73edb8e0","datavalue":{"value":{"amount":"+0.8184417486190796","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":"Q2040186$E5419226-3CA3-4F4E-BF8D-7D7AC4E435D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d51809eb508f3b34ad3a799fa633b6a66e29bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4858824,"id":"Q4858824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28ee09ed10547fdef678119611f63e9ef259044","datavalue":{"value":{"amount":"+0.8107311129570007","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":"Q2040186$22AA53E2-5122-44F3-9EF1-AE98AB9B42E4","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":"df23524729047a093acb27e08c11c8258d72c6d2","datavalue":{"value":{"amount":"+0.8066444396972656","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":"Q2040186$78F12DE4-E551-4943-9B49-DC6552233061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9d80b6f27f2474d0b63e831dffbb184f09723c","datavalue":{"value":{"entity-type":"item","numeric-id":1893135,"id":"Q1893135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c60abdb8cf80d5d39c8fabad49343fe181751f","datavalue":{"value":{"amount":"+0.8016117811203003","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":"Q2040186$E0F994A2-AB08-4B7F-A868-5B2E2F657633","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The cofinality of the symmetric group and the cofinality of ultrapowers","badges":[]}}}}}