The cofinality of the symmetric group and the cofinality of ultrapowers
type: Item
instance of: scholarly article
title: The cofinality of the symmetric group and the cofinality of ultrapowers
zbMATH Open document ID: 1482.03009
author: Heike Mildenberger
author: S. Shelah
published in: Israel Journal of Mathematics
publication date: 2021-07-12T00:00:00Z
review text: 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.
reviewed by: Samuel Gomes da Silva
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E17
Mathematics Subject Classification ID: 03E05
zbMATH DE Number: 7370894
zbMATH Keywords: cardinal invariants of the continuum
zbMATH Keywords: consistency results
MaRDI profile type: MaRDI publication profile
full work available at URL: s11856-021-2124-2
OpenAlex ID: W3136661275
cites work: Q4844091
cites work: The cofinality of the infinite symmetric group and groupwise density
cites work: Q4732462
cites work: On the cofinality of ultrapowers
cites work: On the length of chains of proper subgroups covering a topological group
cites work: There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed
cites work: Near coherence of filters. III: A simplified consistency proof
cites work: On the Generic Existence of Special Ultrafilters
cites work: Q4848573
cites work: Set Theory
cites work: Set theory. An introduction to independence proofs
cites work: There are no Q-Points in Laver's Model for the Borel Conjecture
cites work: Groupwise dense families
cites work: The minimal cofinality of an ultrapower of ω and the cofinality of the symmetric group can be larger than b+
cites work: Covering the Baire space by families which are not finitely dominating
cites work: Some Remarks on Category in Topological Spaces
cites work: Q4375363
cites work: Non-Cohen Oracle C.C.C.
cites work: Maximal chains in \(^ \omega \omega\) and ultrapowers of the integers
cites work: Erratum to: ``Maximal chains in \(^ \omega \omega\) and ultrapowers of the integers''
cites work: Unbounded families and the cofinality of the infinite symmetric group
DOI: 10.1007/S11856-021-2124-2
description: scientific article; zbMATH DE number 7370894