Tight Eventually Different Families

DOI10.1017/JSL.2023.9MaRDI QIDQ6365916zbMATH OpenOpenAlexFDO

Authors Vera Fischer, Corey Bacal Switzer

Publication date 22 April 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/jsl.2023.9

Cardinal characteristics of the continuum (03E17) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50)

Abstract: Generalizing the notion of a tight almost disjoint family, we introduce the notions of a {em tight eventually different} family of functions in Baire space and a {em tight eventually different set of permutations} of

o m e g a

. Such sets strengthen maximality, exist under

m a t h s f M A (s i g m a m - l i n k e d)

and come with a properness preservation theorem. The notion of tightness also generalizes earlier work on the forcing indestructibility of maximality of families of functions. As a result we compute the cardinals

m a t h f r a k a_{e}

and

m a t h f r a k a_{p}

in many known models by giving explicit witnesses and therefore obtain the consistency of several constellations of cardinal characteristics of the continuum including

m a t h f r a k a_{e} = m a t h f r a k a_{p} = m a t h f r a k d < m a t h f r a k a_{T}

,

m a t h f r a k a_{e} = m a t h f r a k a_{p} < m a t h f r a k d = m a t h f r a k a_{T}

,

m a t h f r a k a_{e} = m a t h f r a k a_{p} = m a t h f r a k u < n o n (m a t h c a l N) = c o f (m a t h c a l N)

and

m a t h f r a k a_{e} = m a t h f r a k a_{p} = m a t h f r a k i < m a t h f r a k u

. We also show that there are

P i_{1}^{1}

tight eventually different families and tight eventually different sets of permutations in

L

thus obtaining the above inequalities alongside

P i_{1}^{1}

witnesses for

m a t h f r a k a_{e} = m a t h f r a k a_{p} = a l e p h_{1}

. Moreover, we prove that tight eventually different families are Cohen indestructible and are never analytic.

This page was built for publication: Tight Eventually Different Families

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6365916)