本課程將研習一些模型論的重要課題以及定理，例如compactness, quantifier elimination, back-and-forth game, omitting types, model-completeness, definability, saturation等等。此外也將介紹一些現今的研究議題，以期讓學生能藉此發展出進一步研究的興趣。