English

Strong independence and its spectrum

Logic 2021-03-09 v1

Abstract

For μ,κ\mu, \kappa infinite, say A[κ]κ\mathcal{A}\subseteq [\kappa]^\kappa is a (μ,κ)(\mu,\kappa)-maximal independent family if whenever A0\mathcal{A}_0 and A1\mathcal{A}_1 are pairwise disjoint non-empty in [A]<μ[\mathcal{A}]^{<\mu} then A0\A1\bigcap\mathcal{A}_0\backslash\bigcup\mathcal{A}_1 \not= \emptyset, A\mathcal{A} is maximal under inclusion among families with this property, and moreover all such Booelan combinations have size κ\kappa. We denote by spi(μ,κ)\mathfrak{sp}_{\mathfrak i}(\mu,\kappa) the set of all cardinalities of such families, and if non-empty, we let iμ(κ)\mathfrak{i}_\mu(\kappa) be its minimal element. Thus, iμ(κ)\mathfrak{i}_\mu(\kappa) (if defined) is a natural higher analogue of the independence number on ω\omega for the higher Baire spaces. In this paper, we study spi(μ,κ)\mathfrak{sp}_{\mathfrak i}(\mu,\kappa) for μ,κ\mu,\kappa uncountable. Among others, we show that: (1) The property spi(μ,κ)\mathfrak{sp}_{\mathfrak i}(\mu,\kappa)\neq\emptyset cannot be decided on the basis of ZFC plus large cardinals. (2) Relative to a measurable, it is consistent that: (a) (κ>ω)iκ(κ)<2κ(\exists \kappa{>}\omega) \, \mathfrak{i}_{\kappa}(\kappa)<2^\kappa; (b) (κ>ω)κ+<iω1(κ)<2κ(\exists \kappa{>}\omega)\,\kappa^+<\mathfrak{i}_{\omega_1}(\kappa)<2^\kappa. To the best knowledge of the authors, this is the first example of a (μ,κ)(\mu,\kappa)-maximal independent family of size strictly between κ+\kappa^+ and 2κ2^\kappa, for uncountable κ\kappa. (3) spi(μ,κ)\mathfrak{sp}_{\mathfrak i}(\mu,\kappa) cannot be quite arbitrary.

Cite

@article{arxiv.2103.04063,
  title  = {Strong independence and its spectrum},
  author = {Monroe Eskew and Vera Fischer},
  journal= {arXiv preprint arXiv:2103.04063},
  year   = {2021}
}
R2 v1 2026-06-23T23:49:50.724Z