Free sequences in \({\mathscr{P}}( \omega) /\mathrm{fin}\) (Q2274146)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Free sequences in \({\mathscr{P}}( \omega) /\mathrm{fin}\) |
scientific article |
Statements
Free sequences in \({\mathscr{P}}( \omega) /\mathrm{fin}\) (English)
0 references
19 September 2019
0 references
A free sequence in a Boolean algebra, as defined in [\textit{J. D. Monk}, Commentat. Math. Univ. Carol. 52, No. 4, 593--610 (2011; Zbl 1249.06034)], is a sequence \(\langle a_\alpha:\alpha<\gamma\rangle\) of elements such that for every \(\beta\le\gamma\) the set \(\{a_\alpha:\alpha<\beta\}\cup\{a_\alpha':\beta\le\alpha<\gamma\}\) is centered. It is maximal if it has no free end-extension. Though the order(-type) of the sequence is important in this definition the cardinal number \(\mathfrak f(B)\) is defined to be the minimum \textit{cardinality\/} of a free sequence in the algebra \(B\); if \(B=\mathcal{P}(\omega)/\mathrm{fin}\), then one simply writes \(\mathfrak f\). After making some remarks on free sequences in \(\mathcal{P}(\omega)/\mathrm{fin}\) and indicating how much is still unknown the authors show the consistency of \(\mathfrak i=\mathfrak f<\mathfrak u\), where \(\mathfrak i\) is the minimum cardinality of a maximal independent family and \(\mathfrak u\) is the minimum character of an ultrafilter. They show that this holds in \textit{S. Shelah}'s model for \(\mathfrak i<\mathfrak u\) from [Arch. Math. Logic 31, No. 6, 433--443 (1992; Zbl 0785.03029)] and give a self-contained presentation of this model. An independent family is a free sequence no matter how it is ordered and one would expect some relation between \(\mathfrak i\) and \(\mathfrak f\) to hold; the Miller model satisfies \(\mathfrak f<\mathfrak i\) but it is not (yet) known whether \(\mathfrak i<\mathfrak f\) is consistent.
0 references
maximal free sequence
0 references
\(\mathcal{P}(\omega)/\mathrm{fin}\)
0 references
ultrafilter number
0 references
party forcing
0 references