Countable Tightness and the Grothendieck Property in $C_p$-Theory
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ı by proving it undecidable whether countably tight spaces with Lindelöf finite powers are Grothendieck. We answer another of his questions by proving that $\mathrm{PFA}$ implies Lindelöf countably tight spaces are Grothendieck. We also prove that various other consequences of $\mathrm{MA}_{ω_1}$ and $\mathrm{PFA}$ considered by Arhangel'ski\uı, Okunev, and Reznichenko are not theorems of $\mathrm{ZFC}$.