Gödel's Theorems and Zermelo's Axioms

Lorenz Halbeisen () and Regula Krapf ()
Additional contact information
Lorenz Halbeisen: ETH Zürich, Departement Mathematik
Regula Krapf: Universität Koblenz-Landau, Institut für Mathematik

in Springer Books from Springer

Date: 2020
ISBN: 978-3-030-52279-7
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Chapters in this book:

Ch Chapter 1 Syntax: The Grammar of Symbols

Lorenz Halbeisen and Regula Krapf

Ch Chapter 10 The First Incompleteness Theorem

Lorenz Halbeisen and Regula Krapf

Ch Chapter 11 The Second Incompleteness Theorem

Lorenz Halbeisen and Regula Krapf

Ch Chapter 12 Completeness of Presburger Arithmetic

Lorenz Halbeisen and Regula Krapf

Ch Chapter 13 The Axioms of Set Theory (ZFC)

Lorenz Halbeisen and Regula Krapf

Ch Chapter 14 Models of Set Theory

Lorenz Halbeisen and Regula Krapf

Ch Chapter 15 Models and Ultraproducts

Lorenz Halbeisen and Regula Krapf

Ch Chapter 16 Models of Peano Arithmetic

Lorenz Halbeisen and Regula Krapf

Ch Chapter 17 Models of the Real Numbers

Lorenz Halbeisen and Regula Krapf

Ch Chapter 2 The Art of Proof

Lorenz Halbeisen and Regula Krapf

Ch Chapter 3 Semantics:Making Sense of the Symbols

Lorenz Halbeisen and Regula Krapf

Ch Chapter 4 Maximally Consistent Extensions

Lorenz Halbeisen and Regula Krapf

Ch Chapter 5 The Completeness Theorem

Lorenz Halbeisen and Regula Krapf

Ch Chapter 6 Language Extensions by Definitions

Lorenz Halbeisen and Regula Krapf

Ch Chapter 7 Countable Models of Peano Arithmetic

Lorenz Halbeisen and Regula Krapf

Ch Chapter 8 Arithmetic in Peano Arithmetic

Lorenz Halbeisen and Regula Krapf

Ch Chapter 9 Gӧdelisation of Peano Arithmetic

Lorenz Halbeisen and Regula Krapf

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprbok:978-3-030-52279-7

Ordering information: This item can be ordered from
http://www.springer.com/9783030522797

DOI: 10.1007/978-3-030-52279-7

Access Statistics for this book

More books in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().