Math

Here is a note in which I give a detailed exposition of the proof that T^*_{\rm feq} is NTP_1. This is based on Theorem 2.1 of Shelah-Usvyatsov:844, which can be found here.