A Streamlined Proof of $\mathfrak{p}=\mathfrak{t}$

Abstract

We streamline Malliaris and Shelah's proof that $\mathfrak{p}=\mathfrak{t}$. In particular, we replace cofinality spectrum problems with models of $ZF{C}^{-}$, and we eliminate the use of peculiar cuts.

arXiv comment10 pages

References in corpus (1)

• Pseudosaturation and the Interpretability Orders