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