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

TL;DR

This paper simplifies the proof that the pseudointersection number equals the tower number by replacing complex tools with models of ZFC- and removing the need for peculiar cuts, making the proof more accessible.

Contribution

It provides a streamlined proof of $rak{p} = rak{t}$ by substituting cofinality spectrum problems with models of ZFC- and eliminating peculiar cuts.

Findings

Simplified proof of $rak{p} = rak{t}$

Replaced cofinality spectrum problems with ZFC- models

Eliminated the use of peculiar cuts

Abstract

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