Theories without the tree property of the second kind (0)

by Artem Chernikov
Venue:Annals of Pure and Applied Logic