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.