Ranks of \(\mathcal F\)-limits of filter sequences (Q695143)

For a family \(\Gamma\) of subsets of a set \(X\), we say that a subset \(A\) of \(X\) is \(\Gamma\)-separated from a subset \(B\) of \(X\) if there is \(S\in\Gamma\) with \(A\subseteq S\) and \(B\cap S=\emptyset\). For a filter \(\mathcal{F}\) on a countable set \(I\), its dual ideal is denoted by \(\mathcal{F}^*\), and both are regarded as subsets of the Cantor set by identifying \(\mathcal P(I)\) with \(2^I\). Following \textit{G. Debs} and \textit{J. Saint Raymond} [Fundam. Math. 204, No. 3, 189--213 (2009; Zbl 1179.03046)] and \textit{S. Solecki} [Fundam. Math. 163, No. 3, 215--228 (2000; Zbl 0976.03053)], if \(\mathcal{F}\) is an analytic filter on a countable set \(I\), the rank of \(\mathcal{F}\), denoted by rk\((\mathcal{F})\), is defined as the least ordinal \(\alpha\) -- which turns out to be countable -- such that \(\mathcal{F}\) is \(\Sigma^0_{1+\alpha}\)-separated from \(\mathcal{F}^*\). The authors study the ranks of both \(\mathcal{F}\)-Fubini sums of filters and \(\mathcal{F}\)-limits of filters. The results include: {\parindent=0.5cm\begin{itemize}\item[{\(\bullet\)}] Let \(\mathcal{F}\) be a Borel filter of rank 1 on a countable set \(I\) and \((\mathcal{F}_i)_{i\in I}\) be a family of filters on a set \(X\). If \(\alpha<\omega_1\) is such that there is \(J\in\mathcal{F}\) with rk\((\mathcal{F}_i)\leq\alpha\) for every \(i\in J\), then rk\((\lim_{\mathcal{F}}\mathcal{F}_i)\leq\alpha+1\). \item[{\(\bullet\)}] Let \(\mathcal{F}\) be a Borel filter of rank 1 on a countable set \(I\) and \((\mathcal{F}_i)_{i\in I}\) be a family of filters on sets \(D_i\) (\(i\in I\)). If \(\alpha<\omega_1\) is such that there is \(J\in\mathcal{F}\) with rk\((\mathcal{F}_i)=\alpha\) for every \(i\in J\), then the rank of the \(\mathcal{F}\)-Fubini sum of \((\mathcal{F}_i)_{i\in I}\) is \(\alpha+1\). \item[{\(\bullet\)}] For any two countable ordinals \(\alpha>0\) and \(\beta\) there exist a filter \(\mathcal{F}\) on a countable set \(I\) and a family of filters \((\mathcal{F}_i)_{i\in I}\) on \(\omega\) such that rk\((\mathcal{F})=\beta\) and rk\((\mathcal{F}_i)=\alpha\) for all \(i\in I\), yet rk\((\lim_{\mathcal{F}}\mathcal{F}_i)=1\). \end{itemize}}