Abstract
Model Theory refers to the study of mathematical structures, such as groups, fields, orders and graphs, under a logical approach, therefore, in a manner of foundations. Those structures are built from a language, which contains logical and non-logical symbols, and theories,\text it{i.e.} sets of sentences. Besides the importance of Model Theory as a self-contained field, it is necessary t…