Academic Catalog

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:
Offered Semester: Fall Semesters.

Course Content

First order language, structures and satisfaction. Completeness and compactness theorems. Isomorphism, elementary equivalence and elementary imbedding. Lwenheim-Skolem theorem. Interpolation and definability. Atomic, universal and saturated models and their characterisation. Extensions of first order logic.