Skip to main content
SpringerLink
Log in

Logica

Volume 2 - Incompletezza, teoria assiomatica degli insiemi

  • Textbook
  • © 2018

Overview

Authors:
  1. Vito Michele Abrusci

    1. Dipartimento di Matematica e Fisica, Università Roma Tre, Roma, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Lorenzo Tortora de Falco

    1. Dipartimento di Matematica e Fisica, Università Roma Tre, Roma, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Permette di conseguire una solida preparazione specialistica nella Logica, adottando un punto di vista emerso dalla ricerca contemporanea
  • Mostra una particolare attenzione alla dimostrazione dei principali teoremi sulla Logica e la presentazione della teoria assiomatica degli insiemi
  • Offre un sito web dedicato nel quale possono essere fornite integrazioni e proposti esercizi

Part of the book series: UNITEXT (UNITEXT, volume 111)

Part of the book sub series: La Matematica per il 3+2 (UNITEXTMAT)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 29.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Logica ed Aritmetica: l’incompletezza

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Relazioni tra logica e aritmetica: un’introduzione

      • Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 3-5

    3. Decidibilità e risultati fondamentali di teoria della ricorsività

      • Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 7-143

    4. L’aritmetica di Peano

      • Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 145-211

  3. Le basi della teoria assiomatica degli insiemi di Zermelo-Fraenkel

    1. Front Matter

      Pages 213-213
      Download chapter PDF

    2. Introduzione alla teoria degli insiemi

      • Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 215-239

    3. La teoria assiomatica di Zermelo (\(Z\)) e quella di Zermelo-Fraenkel (\(\mathit{ZF}\))

      • Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 241-264

    4. Gli ordinali

      • Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 265-346

    5. La gerarchia \(V\) e l’assioma di fondazione

      • Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 347-365

    6. L’assioma di scelta

      • Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 367-388

    7. I cardinali

      • Vito Michele Abrusci, Lorenzo Tortora de Falco
      Pages 389-433

  4. Back Matter

    Pages 435-439
    Download chapter PDF
Back to top

Keywords

About this book

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, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva.

Authors and Affiliations

  • Dipartimento di Matematica e Fisica, Università Roma Tre, Roma, Italy

    Vito Michele Abrusci, Lorenzo Tortora de Falco

About the authors

​Vito Michele Abrusci è Professore ordinario di Logica e Filosofia presso l'Università degli Studi Roma Tre, dal 1996. I suoi interessi di ricerca si svolgono principalmente in teoria della dimostrazione, logica lineare e sue applicazioni, storia e filosofia della logica.

Lorenzo Tortora de Falco è Professore associato di Logica presso l'Università degli Studi Roma Tre, dal 2005. I suoi interessi di ricerca si svolgono principalmente nell’ambito della logica lineare e delle sue interazioni con l’informatica teorica.


Bibliographic Information

  • Book Title: Logica

  • Book Subtitle: Volume 2 - Incompletezza, teoria assiomatica degli insiemi

  • Authors: Vito Michele Abrusci, Lorenzo Tortora de Falco

  • Series Title: UNITEXT

  • DOI: https://doi.org/10.1007/978-88-470-3968-1

  • Publisher: Springer Milano

  • eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)

  • Copyright Information: Springer-Verlag Italia S.r.l., part of Springer Nature 2018

  • Softcover ISBN: 978-88-470-3967-4Published: 11 December 2018

  • eBook ISBN: 978-88-470-3968-1Published: 24 November 2018

  • Series ISSN: 2038-5714

  • Series E-ISSN: 2532-3318

  • Edition Number: 1

  • Number of Pages: XIII, 439

  • Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation