English

The ultrafilter and almost disjointness numbers

Logic 2021-06-08 v2

Abstract

We prove that every MAD family can be destroyed by a proper forcing that preserves PP-points. With this result, we prove that it is consistent that ω1=u<a,\omega_{1}=\mathfrak{u}<\mathfrak{a,} solving a nearly 20 year old problem of Shelah and a problem of Brendle. We will also present a simple proof of a result of Blass and Shelah that the inequality u<s\mathfrak{u<s} is consistent.

Keywords

Cite

@article{arxiv.2012.02306,
  title  = {The ultrafilter and almost disjointness numbers},
  author = {Osvaldo Guzman and Damjan Kalajdzievski},
  journal= {arXiv preprint arXiv:2012.02306},
  year   = {2021}
}
R2 v1 2026-06-23T20:43:16.524Z