University of Sistan and BaluchestanIranian Journal of Fuzzy Systems1735-065410320130601Preservation theorems in {\L}ukasiewicz \\model theoryPreservation theorems in {\L}ukasiewicz \\model theory10311386410.22111/ijfs.2013.864ENSeyed-MohammadBagheriDepartment of Pure Mathematics, Faculty of Mathemat-
ical Sciences, Tarbiat Modares University, P.O. Box 14115-134, and Institute for Re-
search in Fundamental Sciences (IPM), P. O. Box 19395-5746, Tehran, IranMortezaMoniriDepartment of Mathematics, Shahid Beheshti University, G. C.,
Evin, Tehran, IranJournal Article20111215We present some model theoretic results for {\L}ukasiewicz<br />predicate logic by using the methods of continuous model theory<br />developed by Chang and Keisler.<br />We prove compactness theorem with respect to the class of all<br />structures taking values in the {\L}ukasiewicz $\texttt{BL}$-algebra.<br />We also prove some appropriate preservation theorems concerning universal and inductive theories.<br />Finally, Skolemization and Morleyization in this framework are discussed and<br />some natural examples of fuzzy theories are presented.https://ijfs.usb.ac.ir/article_864_4dc824201c1a83e208595fdce2760b02.pdf