Ai-maximal independent families and irresolvable Baire spaces (Q401443)

A topological space is called almost irresolvable if it cannot be written as a countable union of subsets with empty interior. In the paper under review, the authors study some consequences of the existence of ai-maximal independent families of maximum size. They prove that, for any cardinal \(\kappa\), the Cantor cube \(2^{2^{\kappa}}\) has a dense subspace of size \(\kappa\) which is almost irresolvable and whose dispersion character is equal to \(\kappa\) if and only if it has a dense subspace of size \(\kappa\) which is Baire submaximal and whose dispersion character is equal to \(\kappa\). As a corollary, if one of these equivalent conditions is true then \(\kappa\) is measurable in an inner model of ZFC. If the Continuum Hypothesis holds, then no cardinal \(\kappa\) carries a uniform a\(\omega\)i-maximal independent family of size \(2^{\kappa}\). Also it is proved that, for any infinite cardinal \(\kappa\), the existence of a uniform ai-maximal independent family on \(\kappa\) of size \(2^{\kappa}\) is equivalent to \(\kappa\) carrying an \(\omega_{1}\)-complete ideal \(I\) containing all sets of cardinality \(< \kappa\) such that the quotient Boolean algebra \(\mathcal{P}(\kappa)/I\) is isomorphic to \(B(Fn(2^{\kappa},2))\). Some open problems are given.