A large separable space of countable tightness Is there a ZFC example of a Tychonoff space $X$ such that:

*

*$X$ is separable.

*$X$ has countable tightness (that is, a subset of $X$ is closed if and only if it contains the closure of each one of its countable subsets)

*$X$ has cardinality larger than the continuum?

The existence of a separable space of countable tightness and cardinality larger than the continuum is consistent with ZFC. Take any hereditarily separable space of cardinality larger than the continuum, like Fedorchuk's compact $S$-space. Hereditary separability implies both separability and countable tightness.
However, an example answering my question cannot be hereditarily separable. By Todorcevic's Theorem, every hereditarily separable regular space is hereditarily Lindelof under PFA and every hereditarily Lindelof space has cardinality bounded by the continuum.
Note also that an example answering my question cannot be compact. In fact, by Balogh's Theorem, every compact Hausdorff space of countable tightness is sequential under PFA, and it is easy to see that every separable sequential space has cardinality bounded by the continuum.
Finally note that to find a Hausdorff non-regular counterexample it suffices to take the Katětov extension of the integers. Let $U(\omega)$ be the set of all non-principal ultrafilters on $\omega$ and define a topology on $X=\omega \cup U(\omega)$ by declaring every point of $\omega$ to be isolated and a basic neighbourhood of a point $p \in U(\omega)$ to be $\{p\} \cup A$, where $A \in p$. Then $X$ is separable, has countable tightness and $|X|=2^\mathfrak{c}$.
 A: EDIT:  this argument is wrong.  See Santi's comment below.
Doesn't ZFC prove there is no such space, by an argument similar to the (elementary submodel) version of the Arhangelskii theorem?
Let $X$ be a Tychonoff space that is separable and of countable tightness.  Let $D$ be a countable dense set witnessing separability.  Let $\mathcal{N}$ be an elementary submodel of some $H_\theta$ such that:

*

*$X$ and $D$ are in $\mathcal{N}$;

*$|\mathcal{N}|=2^{\aleph_0}$, $\mathcal{N}$ is closed under $\omega$ sequences, and $\mathbb{R}$ is both an element and subset of $\mathcal{N}$. (In particular, any continuum-sized element of $\mathcal{N}$ is also a subset of $\mathcal{N}$).

As with the Arhangelsii argument, countable tightness of $X$ and countable closure of $\mathcal{N}$ ensure that
(*) $\mathcal{N} \cap X$ is a closed subset of $X$.
We show that $X =\mathcal{N} \cap X$.  Suppose toward a contradiction there is some $x \in X$ outside of $\mathcal{N}$.  By (*) and the Tychenoff property, there is a continuous $f: X \to \mathbb{R}$ taking value 0 on $\mathcal{N} \cap X$ and value 1 at $x$.  But $f$ is determined by $f \restriction D$, and ${}^D \mathbb{R}$ is a continuum-sized element of $\mathcal{N}$, hence a subset of $\mathcal{N}$ by item 2 above.  So $f \in \mathcal{N}$.  But then an easy elementarity argument, and the fact that $f$ is not constant, contradicts that $f \restriction \mathcal{N}$ is constantly 0.
