A Streamlined Proof of $\mathfrak{p}=\mathfrak{t}$
Logic
2018-10-23 v1
Abstract
We streamline Malliaris and Shelah's proof that . In particular, we replace cofinality spectrum problems with models of , and we eliminate the use of peculiar cuts.
Cite
@article{arxiv.1810.09426,
title = {A Streamlined Proof of $\mathfrak{p}=\mathfrak{t}$},
author = {Douglas Ulrich},
journal= {arXiv preprint arXiv:1810.09426},
year = {2018}
}
Comments
10 pages