Switch to: References

Add citations

You must login to add citations.
  1. Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities.Jaroslav Šupina - 2023 - Archive for Mathematical Logic 62 (1):87-112.
    We investigate several ideal versions of the pseudointersection number \(\mathfrak {p}\), ideal slalom numbers, and associated topological spaces with the focus on selection principles. However, it turns out that well-known pseudointersection invariant \(\mathtt {cov}^*({\mathcal I})\) has a crucial influence on the studied notions. For an invariant \(\mathfrak {p}_\mathrm {K}({\mathcal J})\) introduced by Borodulin-Nadzieja and Farkas (Arch. Math. Logic 51:187–202, 2012), and an invariant \(\mathfrak {p}_\mathrm {K}({\mathcal I},{\mathcal J})\) introduced by Repický (Real Anal. Exchange 46:367–394, 2021), we have $$\begin{aligned} \min \{\mathfrak (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Partition Forcing and Independent Families.Jorge A. Cruz-Chapital, Vera Fischer, Osvaldo Guzmán & Jaroslav Šupina - 2023 - Journal of Symbolic Logic 88 (4):1590-1612.
    We show that Miller partition forcing preserves selective independent families and P-points, which implies the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {u}=\mathfrak {i}<\mathfrak {a}_T=\omega _2$. In addition, we show that Shelah’s poset for destroying the maximality of a given maximal ideal preserves tight mad families and so we establish the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {i}=\omega _1<\mathfrak {u}=\mathfrak {a}_T=\omega _2$.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Projective well orders and coanalytic witnesses.Jeffrey Bergfalk, Vera Fischer & Corey Bacal Switzer - 2022 - Annals of Pure and Applied Logic 173 (8):103135.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Tight Eventually Different Families.Vera Fischer & Corey Bacal Switzer - 2024 - Journal of Symbolic Logic 89 (2):697-723.
    Generalizing the notion of a tight almost disjoint family, we introduce the notions of a tight eventually different family of functions in Baire space and a tight eventually different set of permutations of $\omega $. Such sets strengthen maximality, exist under $\mathsf {MA} (\sigma \mathrm {-centered})$ 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 $\mathfrak {a}_e$ and (...)
    Download  
     
    Export citation  
     
    Bookmark