The Los-Tarski Theorem and the Chang-Los-Susko Theorem, two classical results in Model Theory, are extended to the infinite-valued Lukasiewicz logic. The latter is used to settle a characterisation of the class of generic structures introduced in the framework of model theoretic forcing for Lukasiewicz logic .
[…] presentation of the results contained here given at the conference VII Panhellenic Logic Symposium 2009. Patras, 16 July […]