Discrete selectivity, shrinking properties, and disjoint local π-bases

Using binary function spaces, we give an example of a pseudocompact discretely selective topological group. We show that, under PFA, every compact space of countable tightness has a countable disjo...