Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

  • Wolfgang Stegmüller
  • Matthias Varga von Kibéd

Table of contents

  1. Front Matter
    Pages N1-IV
  2. Normalformen

    1. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 231-259
  3. Identität

    1. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 260-279
  4. Theorien

    1. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 280-291
  5. Metalogische Ergebnisse

    1. Front Matter
      Pages 293-293
    2. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 295-314
    3. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 315-329
    4. Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 342-374

About this book

Keywords

Berechenbarkeit Beweis Funktionen Kompaktheitssatz Konjunktive Normalform Lehrsatz Logik Löwenheim-Skolem-Theorem Mengen Prädikate Quantoren Randelementmethode Sopera Typen rekursive Funktionen

Authors and affiliations

  • Wolfgang Stegmüller
    • 1
  • Matthias Varga von Kibéd
    • 1
  1. 1.Seminar für Philosophie, Logik und WissenschaftstheorieUniversität MünchenMünchen 22Deutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-61725-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1984
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-12212-8
  • Online ISBN 978-3-642-61725-6
  • About this book