MATH406 INTR.TO MATH.LOGIC AND MODEL THEORY
| Course Code: |
2360406 |
| METU Credit (Theoretical-Laboratory hours/week): |
3(3-0) |
| ECTS Credit: |
6.0 |
| Department: |
Mathematics |
| Language of Instruction: |
English |
| Level of Study: |
Undergraduate |
| Course Coordinator: |
Lecturer Dr. MUHÝDDÝN UÐUZ |
| Offered Semester: |
Fall Semesters. |
| Prerequisite: |
Set 1: 2360111
|
| The course set above should be completed before taking
MATH406 INTR.TO MATH.LOGIC AND MODEL THEORY. |
Course Content
First order language, structures and satisfaction. Completeness and compactness theorems. Isomorphism, elementary equivalence and elementary imbedding. Löwenheim-Skolem theorem. Interpolation and definability. Atomic, universal and saturated models and their characterisation. Extensions of first order logic.
