Direkt zum Inhalt

Lexikon der Mathematik: Modelltheorie zweiter Ordnung

eine Variante der Modelltheorie, bei der als Sprache der Prädikatenkalkül zweiter Stufe (Prädikatenlogik höherer Stufe) benutzt wird. Wichtige Hilfsmittel der elementaren Logik, wie der Kompaktheitssatz der Modelltheorie, das Modellexistenztheorem (Modelltheorie) und andere Sätze gelten für die Prädikatenlogik der zweiten Stufe nicht mehr. Daher stehen leistungsfähige Methoden zur Konstruktion oder zum Nachweis der Existenz gewisser Modelle nicht mehr zur Verfügung, wodurch der Einfluß der Modelltheorie zweiter Ordnung auf die Gesamtentwicklung der Modelltheorie bescheiden blieb.

  • Die Autoren
- Prof. Dr. Guido Walz

Schreiben Sie uns!

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.