Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces

Abstract

We apply a method of Todorcevic in showing that PFA(S) implies that the coherent Souslin tree S forces various strengthenings of the assertion that every locally countable space of size ℵ1 that has a countably tight compactification must be σ-discrete.