Summary: This paper studies model theory as generalization of classical model theory in predicate fuzzy logic with evaluated syntax (\(\text{Ev}_{\text{Ł}}\) from now on). In this paper we describe theoretic constructions of the models in \(\text{Ev}_{\text{Ł}}\), where these models are built by using downward Löwenheim-Skolem-Tarski theorem.