David Belanger, Chi Tat Chong, Rupert Hölzl, Frank Stephan
Published 2024-08-19Version 1
We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the existence of large families of objects that are in some sense mutually independent. More precisely, we study the principle MAD stating that a maximal family of pairwise almost disjoint sets exists; and the principle MED expressing the existence of a maximal family of functions that are pairwise eventually different. We investigate characterisations of and relations between these principles and some of their variants. It will turn out that induction strength is an essential parameter in this context.
Pcf theory and cardinal invariants of the reals
On cardinal invariants related to Rosenthal families and large-scale topology
Independence in Arithmetic: The Method of $(\mathcal L, n)$-Models
![QR code for arXiv:2408.09796 [math.LO]](http://oss.arxitics.com/images/favicon.svg)