Volume 0 2010

Mathematische Logik

Authors:

ISBN: 978-3-7643-9973-3 (Print) 978-3-0346-0652-3 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages i-viii

  2. Prädikatenkalkül

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 2-7

      Strukturen und Formeln

    3. No Access

      Book Chapter

      Pages 8-12

      Semantik

    4. No Access

      Book Chapter

      Pages 13-16

      Allgemeingültige Formeln

    5. No Access

      Book Chapter

      Pages 17-26

      Der Gödelsche Vollständigkeitssatz

    6. No Access

      Book Chapter

      Pages 27-32

      Der Sequenzenkalkül

    7. No Access

      Book Chapter

      Pages 33-38

      Der Herbrandsche Satz

    8. No Access

      Book Chapter

      Pages 39-40

      Die Resolutionsmethode

  3. Mengenlehre

    1. Front Matter

      Pages 41-41

    2. No Access

      Book Chapter

      Pages 41-50

      Die Axiome

    3. No Access

      Book Chapter

      Pages 51-54

      Die natürlichen Zahlen

    4. No Access

      Book Chapter

      Pages 55-61

      Ordinalzahlen und Kardinalzahlen

    5. No Access

      Book Chapter

      Pages 62-66

      Metamathematik von ZFC

  4. Rekursionstheorie

    1. Front Matter

      Pages 67-67

    2. No Access

      Book Chapter

      Pages 67-73

      Registermaschinen

    3. No Access

      Book Chapter

      Pages 74-79

      Primitiv rekursive Funktionen und Gödelisierung

    4. No Access

      Book Chapter

      Pages 80-82

      Rekursiv aufzählbare Mengen

    5. No Access

      Book Chapter

      Pages 83-85

      Gödelnummern von Formeln

    6. No Access

      Book Chapter

      Pages 86-88

      Ein anderer Aufbau der rekursiven Funktionen

  5. Arithmetik

    1. Front Matter

      Pages 89-89

    2. No Access

      Book Chapter

      Pages 89-91

      Definierbare Relationen

    3. No Access

      Book Chapter

      Pages 92-98

      Das System Q

    4. No Access

      Book Chapter

      Pages 99-103

      Peanoarithmetik

    5. No Access

      Book Chapter

      Pages 104-108

      Der Zweite Gödelsche Unvollständigkeitssatz

  6. Back Matter

    Pages 109-116