Model Theory.
Code 213AA
Credits 6
Learning outcomes
Models of first order theories. Compactness. Elementary equivalence. Applications to arithmetic, fields, and other algebraic structures.
ECTS - University of Pisa