Abstract
We investigate maximal free sequences in the Boolean algebra \({\mathscr {P}}\left( \omega \right) {/}\text {fin}\), as defined by Monk (Comment Math Univ Carol 52(4):593–610, 2011). 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 \({\mathfrak {f}}\). Answering a question of Monk, we demonstrate the consistency of \(\omega _1 = {\mathfrak {i}} = {\mathfrak {f}} < {\mathfrak {u}} = \omega _2\). In fact, this consistency is demonstrated in the model of Shelah for \({\mathfrak {i}}< {\mathfrak {u}}\) (Shelah in Arch Math Log 31(6):433–443, 1992). Our paper provides a streamlined and mostly self contained presentation of this construction.
This is a preview of subscription content, access via your institution.
Notes
We will not formally distinguish between the elements of the Boolean algebra \({\mathscr {P}}\left( \omega \right) /\text {fin}\) and their representatives in \({\mathscr {P}}\left( \omega \right) \). We write \(a \subset ^* b\) when \(b \smallsetminus a\) is finite.
\({\mathscr {B}} \subset {[\omega ]}^\omega \) is a \(\uppi \)base of \({\mathscr {U}}\) if there exists some \(B \in \mathscr {B}\), \(B \subset ^* U\) for each \(U \in {\mathscr {U}}\). A \(\uppi \)base \({\mathscr {B}}\) is a base of \({\mathscr {U}}\) if moreover \({\mathscr {B}} \subset {\mathscr {U}}\).
Rare filters are also called Qfilters. We opted for the original terminology of Choquet.
Organizing a party in the Hilbert hotel is a difficult task, guests may or may not like their lesser colleagues.
We will be slightly abusing the notation, identifying \({\mathbf {C}}_{\bar{{\mathscr {A}}}_\alpha }\) with \({\mathbf {C}}_{\alpha }\) etc.
References
Arhangel’skiĭ, A.V.: The power of bicompacta with first axiom of countability. Dokl. Akad. Nauk SSSR 187, 967–970 (1969)
Bella, A.: Free sequences in pseudoradial spaces. Comment. Math. Univ. Carol. 27(1), 163–170 (1986)
Bartoszyński, T., Judah, H.: Set Theory: On the Structure of the Real Line. AK Peters Ltd, Wellesley (1995)
Bell, M., Kunen, K.: On the PI character of ultrafilters. C. R. Math. Rep. Acad. Sci. Can. 3(6), 351–356 (1981)
Balcar, B., Simon, P.: On minimal \(\pi \)character of points in extremally disconnected compact spaces. Topol. Appl. 41(1–2), 133–145 (1991)
Fischer, V., Montoya, D.C.: Ideals of independence. Arch. Math. Log. 228, 1–19 (2018)
Guzmán Gonzáles, O.: The ultrafilter number and \({\mathfrak{h}}{\mathfrak{m}}\) (preprint)
Goldstern, M.: Tools for your forcing construction. In: Set Theory of the Reals ,vol. 6, BarIlan Univ. Ramat Gan , pp. 305–360 (1991)
Gorelic, I.: Orders of \(\pi \)bases. Can. Math. Bull. 53(2), 286–294 (2010)
Geschke, S., Quickert, S.: On Sacks forcing and the Sacks property. In: Classical and New Paradigms of Computation and Their Complexity Hierarchies, Kluwer, Dordrecht, vol. 23, pp. 95–139 (2004)
Goldstern, M., Shelah, S.: Ramsey ultrafilters and the reaping number–\({\rm Con}({{\mathfrak{r}}}<{{\mathfrak{u}}})\). Ann. Pure Appl. Log. 49(2), 121–142 (1990)
Miller, A.W.: Some properties of measure and category. Trans. Am. Math. Soc. 266(1), 93–114 (1981)
Miller, A.W.: Rational perfect set forcing, axiomatic set theory (Boulder, Colo., 1983). In: Contemporary Mathematics, American Mathematical Society, Providence, vol. 31, pp. 143–159 (1984)
Monk, J.D.: Maximal free sequences in a Boolean algebra. Comment. Math. Univ. Carol. 52(4), 593–610 (2011)
Selker, K.: Ideal independence, free sequences, and the ultrafilter number. Comment. Math. Univ. Carolin. 56(1), 117–124 (2015)
Shelah, S.: \({\rm CON}({{\mathfrak{u}}}>{{\mathfrak{i}}})\). Arch. Math. Log. 31(6), 433–443 (1992)
Shelah, S.: Proper and Improper Forcing, Perspectives in Mathematical Logic, 2nd edn. Springer, Berlin (1998)
Todorčević, S.: Free sequences. Topol. Appl. 35(2–3), 235–238 (1990)
Todorčević, S.: Some applications of \(S\) and \(L\)combinatorics. In: The Work of Mary Ellen Rudin (Madison, WI,1991), Annals of the New York Academy of Sciences, New York, vol. 705, pp. 130–167 (1993)
Todorčević, S.: Compact subsets of the first Baire class. J. Am. Math. Soc. 12(4), 1179–1212 (1999)
Acknowledgements
The authors would like to thank Osvaldo Guzmán for numerous suggestions substantially improving the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
D. Chodounský was supported by the GA CR Project 17–33849L and RVO: 67985840. V. Fischer would like to thank FWF for the generous support through Grant Number Y1012–N35. J. Grebík was supported by the GA CR Project 15–34700L and RVO: 67985840.
Appendix: Preservation theorem for the iteration
Appendix: Preservation theorem for the iteration
The forcing iteration argument in Sect. 5 uses a typical preservation theorem for countable support forcing iteration, in this instance the preservation of a filter–cofilter pair. This theorem follows the usual pattern described in [8, 17]. However, as specific instances of preservation theorems are sometimes difficult to derive from the general statements given in these sources, we decided to provide the proof of the relevant preservation theorem in this appendix, making the paper more selfcontained.
Let \({\mathscr {F}}\) be a filter on \(\omega \). We will use the following game \(\mathrm G({{\mathscr {F}}})\). Players I and II alternate for \(\omega \) many rounds. In the nth round player I plays a set \(F_n \in {\mathscr {F}}\), and player II responds with \(a_n \in F_n\). Player II wins if \(\left\{ \, a_n \shortmid n \in \omega \, \right\} \in {\mathscr {F}}\). The following is well known.
Fact 32
Player I does not have a winning strategy in the game \(\mathrm G({{\mathscr {F}}})\) iff \({\mathscr {F}}\) is a rare Pfilter.
Theorem 33
Let \({\mathscr {F}}\) be a Pfilter on \(\omega \), denote \({\mathscr {K}} = {\mathscr {P}}\left( \omega \right) \smallsetminus {\mathscr {F}}\). For \(\delta \) limit let \(P_\delta = \left\langle P_\alpha , Q_\alpha \shortmid \alpha < \delta \right\rangle \) be a countable support iteration of proper forcing notions such that for each \(\alpha < \delta \)
Then also \(P_\delta \Vdash \left\langle {\mathscr {F}} \right\rangle \cup \left\langle {\mathscr {K}} \right\rangle = {\mathscr {P}}\left( \omega \right) \).
By \(\left\langle {\mathscr {F}} \right\rangle \) and \(\left\langle {\mathscr {K}} \right\rangle \) we denote the upwards, respectively downwards closure of \({\mathscr {F}}\) and \({\mathscr {K}}\) in the appropriate models. The assumption for \(\alpha = 0\) states that \({\mathscr {F}}\) is a rare Pfilter in the ground model V. Standard arguments shows that \(\left\langle {\mathscr {F}} \right\rangle \) is a Pfilter in any generic extension via a proper forcing, and \(\left\langle {\mathscr {F}} \right\rangle \) is rare in any generic extension via a bounding forcing.
Proof
If the cofinality of \(\delta \) is uncountable, no new reals are added at stage \(\delta \) of the iteration, and the conclusion of the theorem holds true. Therefore we will assume that the cofinality of \(\delta \) is countable, and by passing to a cofinal sequence of \(\delta \), it is sufficient to prove the theorem in case \(\delta = \omega \). In the following \(G_\alpha \) denotes exclusively generic filters on \(P_\alpha \). We use P to denote posets \(P_\delta / G_\alpha \) in the intermediate generic extensions \(V[G_\alpha ]\). Let X be a Pname for a subset of \(\omega \). For \(r \in P\) let \(X_r = \left\{ \, n \in \omega \shortmid r \not \Vdash n \notin X \, \right\} \). \(\square \)
Lemma 34
Let \({\mathscr {H}}\) be a rare Pfilter and \(p \in P\) a condition. If \(X_r \in {\mathscr {H}}\) for each \(r < p\), then there exists \(H \in {\mathscr {H}}\) and a sequence \(\left\langle r_i \in P \shortmid i \in \omega \right\rangle \), \(r_0 = p\), \(r_{i+1} < r_i\) such that \(r_i \Vdash H \cap i \subset X\) for each \(i\in \omega \).
Proof
Put \(p_0 = p\) and play the game \(\mathrm G({{\mathscr {H}}})\) as follows. In the nth round player I plays the set \(X_{p_n} \in {\mathscr {H}}\), player II responds with some \(a_n \in X_{p_n}\). Player I then chooses \(p_{n+1} \in P\), \(p_{n+1} < r_n\) such that \(p_{n+1} \Vdash a_n \in X\) and proceeds to the next round. Since \({\mathscr {H}}\) is a rare Pfilter, this strategy is not winning for player I. Thus there is a sequence of moves of player II and conditions \(\left\langle p_n \shortmid n \in \omega \right\rangle \) such that player II wins the game, i.e. \(H = \left\{ \, a_n \shortmid n \in \omega \, \right\} \in {\mathscr {H}}\). A sequence of conditions \(\left\langle r_i \shortmid i \in \omega \right\rangle \) such that \(r_i = p_{a_n}\) if \(a_n < i \le a_{n+1}\) is as required in the lemma. \(\square \)
Let p be a condition in \(P_\omega \). The goal is to find a stronger condition which forces either \(X \in \left\langle {\mathscr {F}} \right\rangle \) or \(X \in \left\langle {\mathscr {K}} \right\rangle \). In case there exists an intermediate extension \(V[G_\alpha ]\), \(p \in G_\alpha \) and \(r \in P/G_\alpha \), \(r < p/G_\alpha \) such that \(X_r \notin \left\langle {\mathscr {F}} \right\rangle \) (in \(V[G_\alpha ]\)), then \(r \Vdash X \in \left\langle {\mathscr {K}} \right\rangle \) due to the assumption of the theorem, and there exists a condition in \(P_\omega \) stronger than p forcing the same statement. Therefore we will assume in the rest of the proof that this is not the case.
For a sufficiently large \(\theta \) fix a countable elementary submodel \(N \prec H(\theta )\) such that \(X, p, {\mathscr {F}}, P_\omega \in N\). Use Lemma 34 in N for \({\mathscr {H}} = {\mathscr {F}}\) and \(P = P_\omega \) to get \(H \in {\mathscr {F}} \cap N\) and a sequence \(\left\langle r^0_n \in P_\omega \shortmid n \in \omega \right\rangle \in N\). Since \({\mathscr {F}}\) is a Pfilter, there exists \(A^* \in {\mathscr {F}}\) such that \(A^* \subset H\), and \(A^* \subset ^* F\) for each \(F \in {\mathscr {F}} \cap N\).
Lemma 35
Let q be a \((P_i,N)\)master condition, and let \(\left\langle F_n \shortmid n \in \omega \right\rangle \in N[G_i]\) be a sequence of elements of \({\mathscr {F}}\). Then
Proof
Since \(N[G_i] \prec H(\theta )[G_i]\) and \({\mathscr {F}}\) generates a nonmeager filter in \(H(\theta )[G_i]\), there is \(F \in {\mathscr {F}} \cap N[G_i]\) such that \(F \smallsetminus n \subset F^n\) for infinitely many n (Fact 12). Now \(q \Vdash F \in N\) and we can use that \(A^* \subset ^* F\).
We will inductively construct a condition \(q < p\) such that \(q \Vdash A^* \subset X\). Specifically, we construct two sequences of conditions \(p_i, q_i\) for \(i \in \omega \) with the following properties;

(1)

\(p_i \in P_\omega \),

\(p_{i+1} < p_i\),

\(p_{i+1} \mathbin {\!\upharpoonright }i = p_{i} \mathbin {\!\upharpoonright }i\),

\(q_i \in P_i\),

\(q_{i+1} \mathbin {\!\upharpoonright }i = q_{i}\),

\(q_i < p_{i} \mathbin {\!\upharpoonright }i\),

\(q_i\) is a \((N, P_i)\)master condition;


(2)
\(q_i \Vdash (p_i/G_i \Vdash A^* \cap i \subset X)\),

(3)
\(q_i \Vdash \big (\text {There is a sequence } \left\langle r^i_n \in P_\omega /G_i \shortmid n \in \omega \right\rangle \in N[G_i], r^i_n {<} p_i/G_i \text { such that } r^i_n \Vdash A^* \cap n \subset X\big )\).
The construction starts with putting \(p_0 = p\) and let \(q_0\) be a trivial condition (in the trivial forcing \(P_0\)). Existence of the sequence \(\left\langle r^0_n \in P_\omega \shortmid n \in \omega \right\rangle \) follows from the choice of \(A^*\).
Suppose that \(p_i, q_i\) are defined, work in \(N[G_i]\) assuming \(q_i \in G_i\). For each \(n \in \omega \) consider a model \(N[G_{i+1}]\) such that \(r^i_n \mathbin {\!\upharpoonright }(i+1) \in G_{i+1}/G_i\). Use Lemma 34 in \(N[G_{i+1}]\) for \(\left\langle {\mathscr {F}} \right\rangle \) and \(r^i_n/G_{i+1}\) to get \(H_n \in \left\langle {\mathscr {F}} \right\rangle \cap N[G_{i+1}]\) and a sequence \(\left\langle s^n_k \in P_\omega /G_{i+1} \shortmid k \in \omega \right\rangle \in N[G_{i+1}]\) as in the lemma. We can assume that \(H_n \in {\mathscr {F}} \cap N[G_{i+1}]\), and by strengthening \(r^i_n \mathbin {\!\upharpoonright }\left\{ \, i \, \right\} \) to \(t^i_n \mathbin {\!\upharpoonright }\left\{ \, i \, \right\} \in N[G_i]\) we can decide \(H_n\) to be some \(F_n \in {\mathscr {F}} \cap N[G_i]\). Since \(q_i\) is \((N, P_i)\)master, Lemma 35 implies that there is \(m > i\) such that \(A^* \smallsetminus m \subset F_m\).
Define \(p_{i+1} = p_i \mathbin {\!\upharpoonright }i \mathbin {\!{}^\smallfrown \!}t^i_m\), and let \(q_{i+1} < p_{i+1}\mathbin {\!\upharpoonright }i+1 \) be any \((N, P_{i+1})\)master condition such that \(q_{i+1} \mathbin {\!\upharpoonright }i = q_i\). Property (1) is obviously satisfied. Property (2) follows from \(m > i\), the inductive hypothesis for \(r_m^i\), and from \({{q_{i+1}} \mathbin {\!{}^\smallfrown \!}(p_{i+1}/G_{i+1})} < q_i \mathbin {\!{}^\smallfrown \!}r_m^i\). To justify (3) notice that \(q_{i+1}\) forces that the sequence \(\left\langle s^m_k \shortmid k \in \omega \right\rangle \) satisfies the condition required for \(\left\langle r^i_n \shortmid n \in \omega \right\rangle \); for \(y \in A^* \cap m\) this follows from the inductive hypothesis on \(r^i_m\), and for \(y \in A^*, x \ge m\) from the choice of \(\left\langle s^m_k \shortmid k \in \omega \right\rangle \) and \(A^* \smallsetminus m \subset F_m\).
Once the inductive construction is done, the condition \(q = \bigcup \left\{ \, q_i \shortmid i \in \omega \, \right\} \) forces that \(A^* \subset X\). The inclusion \(A^* \cap i \subset X\) is guaranteed by property (2) and \(q < q_i \mathbin {\!{}^\smallfrown \!}{(p_i/G_i)}\). \(\square \)
Rights and permissions
About this article
Cite this article
Chodounský, D., Fischer, V. & Grebík, J. Free sequences in \({\mathscr {P}}\left( \omega \right) /\text {fin}\). Arch. Math. Logic 58, 1035–1051 (2019). https://doi.org/10.1007/s0015301900675w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s0015301900675w
Keywords
 Maximal free sequence
 Dense independent system
 Party forcing
Mathematics Subject Classification
 03E17
 03E35
 06E05