Dispensa leggermente piú approfondita, sempre sul tema della definibilità aritmetica. (In lingua inglese)
Completion requirements
PDF
Click 6_ArithmeticalDefinability.pdf link to view the file.