Strong independence and its spectrum
Abstract
For infinite, say is a -maximal independent family if whenever and are pairwise disjoint non-empty in then , is maximal under inclusion among families with this property, and moreover all such Booelan combinations have size . We denote by the set of all cardinalities of such families, and if non-empty, we let be its minimal element. Thus, (if defined) is a natural higher analogue of the independence number on for the higher Baire spaces. In this paper, we study for uncountable. Among others, we show that: (1) The property cannot be decided on the basis of ZFC plus large cardinals. (2) Relative to a measurable, it is consistent that: (a) ; (b) . To the best knowledge of the authors, this is the first example of a -maximal independent family of size strictly between and , for uncountable . (3) 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}
}