The gap-1 transfer principle says that the transfer principle $(\kappa^+, \kappa) \to (\lambda^+, \lambda)$ holds for all infinite cardinals $\kappa, \lambda.$

It is known that for some sentence $\phi,$ $\phi$ has a $(\kappa^+, \kappa)$-model iff there exists a special $\kappa^+$-Aronszajn tree, and by a result of Mitchell, we can get the failure of gap-1 transfer $(\aleph_1, \aleph_0) \to (\aleph_2, \aleph_1)$ using a Mahlo cardinal (by producing a model in which there are no special $\aleph_2$-Aronszajn trees).

In his thesis, Rasch, introduced another theory, and proved the consistency of the failure of gap-1 using just an inaccessible cardinal. However his model is essentially Mitchell's model, but constructed using an inaccessible instead of a Mahlo cardinal.

I am wondering what other natural theories one can consider to obtain the failure of gap-1 transfer principle $(\aleph_1, \aleph_0) \to (\aleph_2, \aleph_1)$?. In particular I'm interested to obtain such a failure using models different from Mitchell's forcing (and of course a different theory than those stated above).

Giving references is also appreciated.