La teoria degli insiemi e l'ipotesi del continuo

Copertina
Titolo
Prefazione
Capitolo primo - Nozioni basilari di logica
	1. Introduzione
	2. Linguaggi formali
	3. Enunciati universalmente validi
	4. Il teorema di completezza di Godel
	5. Il teorema di Lowenheim-Skolem
	6. Esempi di sistemi formali
	7. Funzioni ricorsive primitive
	8. Funzioni ricorsive generali
	9. Il teorema di incompletezza di Godel
	10. Il teorema di incompletezza generalizzato
	11. Ulteriori risultati sulle funzioni ricorsive
Capitolo secondo - La teoria degli insiemi di Zermelo-Fraenkel
	1. Assiomi
	2. Discussione degli assiomi
	3. Numeri ordinali
	4. Numeri cardinali
	5. L\'assioma di regolarità
	6. Il sistema di Godel-Bernays
	7. Assiomi superiori e modelli della teoria degli insiemi
	8. Di nuovo il teorema di Lowenheim-Skolem
Capitolo terzo - La non contraddittorietà dell\'ipotesi del continuo e dell\'assioma di scelta
	1. Introduzione
	2. Dimostrazione del teorema 1
	3. Assolutezza
	4. Dimostrazione di AS e IGC in L
	5. Confronti con GB
	6. Il modello minimale
Capitolo quarto - L\'indipendenza dell\'ipotesi del continuo e dell\'assioma di scelta
	1. Introduzione
	2. Motivazione intuitiva
	3. Il concetto di forcing
	4. I lemmi fondamentali
	5. Definibilità del forcing
	6. Il modello N
	7. Il concetto generale di forcing
	8. L\'ipotesi del continuo
	9. L\'assioma di scelta
	10. Alterazione delle cardinalità
	11. Fare a meno di MS
	12. IGC implica AS
	13. Conclusione
Appendice all\'edizione italiana
Bibliografia
Indice