  The Grothendieck property has become important in research on the
definability of pathological Banach spaces [CI], [HT], and especially [HT20].
We here answer a question of Arhangel'ski\u{\i} by proving it undecidable
whether countably tight spaces with Lindel\"of finite powers are Grothendieck.
We answer another of his questions by proving that $\mathrm{PFA}$ implies
Lindel\"of countably tight spaces are Grothendieck. We also prove that various
other consequences of $\mathrm{MA}_{\omega_1}$ and $\mathrm{PFA}$ considered by
Arhangel'ski\u{\i}, Okunev, and Reznichenko are not theorems of $\mathrm{ZFC}$.
