Some infinitely generated non projective modules over path algebras and their extensions under Martin's Axiom

In this paper it is proved that, when $Q$ is a quiver that admits some closure, for any algebraically closed field $K$ and any finite dimensional $K$-linear representation $\mathcal{X}$ of $Q$, if ${\rm Ext}^1_{KQ}($\mathcal{X}$,KQ)=0$then$$\mathcal{X}$$ is projective (Theorem 1.10). In contrast, we show that if $Q$ is a specific quiver of the type above, then there is an infinitely generated non-projective $KQ$-module $M_{{\omega }_1}$ such that, when $K$ is a countable field, ${\mathrm{}}_{{\mathrm{\aleph }}_1}$ (Martin’s Axiom for ${\mathrm{\aleph }}_1$ many dense sets, which is a combinatorial axiom in set theory) implies that ${\mathrm{E}\mathrm{x}\mathrm{t}}_{KQ}^1(M_{{\omega }_1},KQ)=0$ (Theorem 2.11).