Logica Volume 2 - Incompletezza, teoria assiomatica degli insiemi /

• Main Authors: Abrusci, Vito Michele (Author, http://id.loc.gov/vocabulary/relators/aut), Tortora de Falco, Lorenzo (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: Italian
• Published: Milano : Springer Milan : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: La Matematica per il 3+2, 111
• Subjects: Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Questo secondo volume, che completa l'opera, present...

Table of Contents:

• 1 Introduzione alla Parte I
• 2 Decidibilità e risultati fondamentali di teoria della ricorsività
• 3 L'aritmetica di Peano
• 4 Introduzione alla Parte II
• 5 La teoria assiomatica di Zermelo (Z) e quella di Zermelo-Fraenkel (ZF)
• 6 Gli ordinali
• 7 La gerarchia V e l'assioma di Fondazione
• 8 L'assioma di scelta
• 9 I cardinali.