COURSE UNIT TITLE

: MODEL THEORY

Description of Individual Course Units

Course Unit Code Course Unit Title Type Of Course D U L ECTS
MAT 5052 MODEL THEORY ELECTIVE 3 0 0 7

Offered By

Graduate School of Natural and Applied Sciences

Level of Course Unit

Second Cycle Programmes (Master's Degree)

Course Coordinator

Offered to

Mathematics
Mathematics

Course Objective

The aim of this course is to introduce the fundamental concepts of model theory, and show its usage in the whole body of mathematics.

Learning Outcomes of the Course Unit

1   Will be able to use structures and models.
2   Will be able use first order logic.
3   Will be able to the compactness theorem.
4   Will be able to nonstandard analysis.
5   Will be able to use quantifier elimination and stability.

Mode of Delivery

Face -to- Face

Prerequisites and Co-requisites

None

Recomended Optional Programme Components

None

Course Contents

Week Subject Description
1 First order logic and languages
2 Structures and substructures
3 Theories and models
4 Formulas and satisfaction
5 Elementary extensions and substructures
6 Filters
7 Compactness theorem and applications
8 Midterm
9 Back-and-forth, up-and-down methods
10 Quantifier elimination
11 Applications to algebraic geometry
12 Types
13 Stability
14 Geometric stability and applications to other domains

Recomended or Required Reading

Textbook(s):
[1] Marker, D., Model Theory; An Introduction, Springer.

References:

Materials:
Instructor s notes and presentations

Planned Learning Activities and Teaching Methods

Lecture notes
Presentation
Problem solving

Assessment Methods

SORTING NUMBER SHORT CODE LONG CODE FORMULA
1 MTE MIDTERM EXAM
2 ASG ASSIGNMENT
3 RPT REPORT
4 FIN FINAL EXAM
5 FCG FINAL COURSE GRADE MTE * 0.30 +ASG +RPT/2 * 0.30 +FIN * 0.40
6 RST RESIT
7 FCGR FINAL COURSE GRADE (RESIT) MTE * 0.30 +ASG +RPT/2 * 0.30 +RST * 0.40


*** Resit Exam is Not Administered in Institutions Where Resit is not Applicable.

Further Notes About Assessment Methods

None

Assessment Criteria

To be announced.

Language of Instruction

English

Course Policies and Rules

To be announced.

Contact Details for the Lecturer(s)

haydar.goral@deu.edu.tr

Office Hours

To be announced.

Work Placement(s)

None

Workload Calculation

Activities Number Time (hours) Total Work Load (hours)
Lectures 13 3 39
Preparations before/after weekly lectures 13 3 39
Preparation for midterm exam 1 15 15
Preparation for final exam 1 25 25
Preparing assignments 10 5 50
Final 1 3 3
Midterm 1 3 3
TOTAL WORKLOAD (hours) 174

Contribution of Learning Outcomes to Programme Outcomes

PO/LOPO.1PO.2PO.3PO.4PO.5PO.6PO.7PO.8PO.9PO.10PO.11
LO.14332224333
LO.24332224333
LO.34332224333
LO.44332224333
LO.54332224333