**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