2st module
Dott. Stefano Baratella
A.A. 1998/99
PROGRAMME
Zermelo-Fraenkel set theory is presented and an analysis of the
role of the Axiom of Choice in mathematics is made. Attention is paid in
particular to cardinal arithmetic. In the second half of the semester,
basic recursion theory is studied and an overview of Gödel's Incompleteness
Theorems is given.
REFERENCE TEXTS
BELL-MACHOVER, A Course in Mathematical Logic, North Holland
VAN DALEN, Logic and Structure, Springer-Verlag
HODGES, Model Theory, Cambridge University Press
DEVLIN, The Joy of Sets, Springer-Verlag
KUNEN, Set Theory, an Introduction to Independence Proofs, North Holland