Selective independence
Logic
2019-12-24 v1
Abstract
Let denote the minimal cardinality of a maximal independent family and let denote the minimal cardinality of a maximal family of pairwise almost disjoint subtrees of . Using a countable support iteration of proper, -bounding posets of length over a model of CH, we show that consistently . Moreover, we show that the inequality can be witnessed by a co-analytic maximal independent family of size in the presence of a definable well-order of the reals. The main result of the paper can be viewed as a partial answer towards the well-known open problem of the consistency of .
Cite
@article{arxiv.1912.10332,
title = {Selective independence},
author = {Vera Fischer},
journal= {arXiv preprint arXiv:1912.10332},
year = {2019}
}
Comments
8 pages