Free sequences in P( ) /fin

DOI10.1007/S00153-019-00675-WMaRDI QIDQ2274146zbMATH OpenOpenAlexFDO

Authors David Chodounský, Vera Fischer, Jan Grebík

Publication date 19 September 2019

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1808.05930

\(\mathcal{P}(\omega)/\mathrm{fin}\)maximal free sequence party forcing ultrafilter number

Cardinal characteristics of the continuum (03E17) Consistency and independence results (03E35) Structure theory of Boolean algebras (06E05)

Abstract: We investigate maximal free sequences in the Boolean algebra

m a t h c a l P (o m e g a) / m a t h r m f i n

, as defined by D. Monk. We provide some information on the general structure of these objects and we are particularly interested in the minimal cardinality of a free sequence, a cardinal characteristic of the continuum denoted

m a t h f r a k f

. Answering a question of Monk, we demonstrate the consistency of

o m e g a_{1} = m a t h f r a k i = m a t h f r a k f < m a t h f r a k u = o m e g a_{2}

. In fact, this consistency is demonstrated in the model of S. Shelah for

m a t h f r a k i < m a t h f r a k u

. Our paper provides a streamlined and mostly self contained presentation of this construction.

Review text

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.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Free sequences in \({\mathscr{P}}( \omega) /\mathrm{fin}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2274146)