Consequence of compactness in Lukasiewicz first order logic
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 .
Consequence of compactness in Lukasiewicz first order logic
