Abstract
We study two ideals which are naturally associated to independent families. The first of them, denoted \(\mathcal {J}_\mathcal {A}\), is characterized by a diagonalization property which allows along a cofinal sequence (the order type of which of uncountable cofinality) of stages along a finite support iteration to adjoin a maximal independent family. The second ideal, denoted \(\mathrm {id}(\mathcal {A})\), originates in Shelah’s proof of \(\mathfrak {i}<\mathfrak {u}\) in Shelah (Arch Math Log 31(6), 433–443, 1992). We show that for every independent family \(\mathcal {A}\), \(\mathrm {id}(\mathcal {A})\subseteq \mathcal {J}_\mathcal {A}\) and define a class of maximal independent families, to which we refer as densely maximal, for which the two ideals coincide. Building upon the techniques of Shelah (1992) we characterize Sacks indestructibility for such families in terms of properties of \(\mathrm {id}(\mathcal {A})\) and devise a countably closed poset which adjoins a Sacks indestructible densely maximal independent family.
Article PDF
Similar content being viewed by others
References
Bartoszyński, T., Judah, H.: Set Theory. On the Structure of the Real Line, p. xii+546. A K Peters Ltd., Wellesley (1995)
Blass, A.: Combinatorial Characteristics of the Continuum. Handbook of Set Theory, vol. 1,2,3, pp. 395–489. Springer, Dordrecht (2010)
Brendle, J., Fischer, V.: Mad families, splitting families and large continuum. J. Symb. Log. 76(1), 198–208 (2011)
Brendle, J., Fischer, V., Khomskii, Y.: Definable maximal independent families. Trans. Am. Math. Soc. https://doi.org/10.1090/proc/14497
Ciesielski, K., Pawlikowski, J.: The Covering Property Axiom, CPA. Cambridge Tracks in Mathematics, vol. 164. Cambridge University Press, Cambridge (2004)
Fichtenholz, G., Kantorovitch, L.: Sur les opérations linéaires dans l’espace des fonctions bornées. Stud. Math. 5, 69–98 (1935)
Fischer, V., Shelah, S.: The spectrum of independence. Arch. Math. Logic. https://doi.org/10.1007/s00153-019-00665-y
Fischer, V., Schilhan, J.: Definable towers, (submitted)
Fischer, V., Törnquist, A.: Template iterations and maximal cofinitary groups. Fundam. Math. 230(3), 205–236 (2015)
Geschke, S.: Almost disjoint and independent families. RIMS Kokyuroku 1790, 1–9 (2012)
Geschke, S., Quickert, S.: On Sacks forcing and the Sacks property. In: Foundations of the Formal Sciences III, Complexity in Mathematics and Computer Science, Papers of a Conference in Vienna, September 21-24, 2001. Kluwer Academic Publishers, Dordrecht (2004)
Halbeisen, L.: Combinatorial Set Theory. With a Gentle Introduction to Forcing. Springer Monographs in Mathematics, p. xvi+453. Springer, London (2012)
Hausdorff, F.: Über zwei Sätze von G. Fichtenholz und L. Kantorovitch. Stud. Math. 6, 18–19 (1936)
Kunen, K.: Set theory. Studies in Logic (London), vol. 34, p. viii+401. College Publications, London (2011)
Shelah, S.: \(Con(\mathfrak{u} >\mathfrak{i})\). Arch. Math. Log. 31(6), 433–443 (1992)
Shelah, S.: Proper and Improper Forcing, Perspectives in Mathematical Logic, second edn. Springer, Berlin (1998)
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors would like to thank the Austrian Science Fund (FWF) for the generous support through START Grant Y1012-N35.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Fischer, V., Montoya, D.C. Ideals of independence. Arch. Math. Logic 58, 767–785 (2019). https://doi.org/10.1007/s00153-019-00669-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-019-00669-8