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

Douglas Ulrich

arxiv: 1810.09426 · v1 · pith:C2UKAMZEnew · submitted 2018-10-22 · 🧮 math.LO

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

Douglas Ulrich This is my paper

classification 🧮 math.LO

keywords mathfrakproofcofinalitycutseliminatemalliarismodelsparticular

0 comments

read the original 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.

This paper has not been read by Pith yet.

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

discussion (0)