4 papers
Lower bounds of sets of P-points
Borisa Kuzeljevic, Dilip Raghavan, Jonathan L. Verner
We show that implies that each collection of -points of size at most which has a -point as an upper bound also has a ${…
Set-Theoretic Blockchains
Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner +2
Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski…
Completely separably MAD families and the modal logic of
Tomáš Lávička, Jonathan L. Verner
We show in ZFC that the existence of completely separable maximal almost disjoint families of subsets of implies that the modal logic S4.1.2 is complete with respect to the Čec…
Towers in filters, cardinal invariants, and Luzin type families
Jörg Brendle, Barnabás Farkas, Jonathan Verner
We investigate which filters on can contain towers, that is, a modulo finite descending sequence without any pseudointersection (in ). We prove the following results: -…