Mathematical Logic 2

The course aims to provide students with an understanding of the most important general aspects of Model Theory,
so as to allow a possible continuation of Logic studies in more specific directions.

At the end of the course the student should be able to recognize the models of a logical theory, identifying those with further
specific properties. He/she will also need to be able to abstract the logical structure from explicit structures. Learning the general topics of Model Theory, at the end of the course the student will be able to continue with the independent study of more specific topics of Mathematical Logic.