\documentclass[12pt]{article}
\usepackage{amsmath,amssymb,amsfonts}
\begin{document}
We Study a class of Kripke models over which a naturally defined embedding relation behaves well. After proving a completeness theorem, we generalize some usual classical theorems of model theory into this framework. As an application, we give examples of non-classical $\omega$-categorical theories which admit quantifier elimination.
\end{document}