Construction by bosonization of a fermion-phonon model

We discuss an extension of the (massless) Thirring model describing interacting fermions in one dimension which are coupled to phonons and where all interactions are local. This fermion-phonon model can be solved exactly by bosonization. We present a construction and solution of this model which is mathematically rigorous by treating it as a limit of a Luttinger-phonon model. A self-contained account of the mathematical results underlying bosonization is included, together with complete proofs.