Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1504

Preprint Number 1504

Previous Next Preprint server

1504. Douglas Ulrich
A Streamlined Proof of p=t

Submission date: 22 October 2018


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

Mathematics Subject Classification: 03C55, 03E17

Keywords and phrases:

Full text arXiv 1810.09426: pdf, ps.

Last updated: March 23 2021 10:20 Please send your corrections to: