(12 maggio h.11/13, aula 3 edificio C5) Definibilità aritmetica
Section outline
-
Un importante esempio: definibilità degli interi nell'aritmetica dei razionali (che dipende da un teorema di Hasse del 1923)
Definibilità dei numeri naturali nell'aritmetica degli interi (questo risultato ci è già noto attraverso i teoremi dei 4 e dei 3 quadrati, ma qui viene ottenuto solo mediante l'equazione di Pell).
Vari esercizi per voi.