< Mathematische Logik < Gemischte Satzabfrage < 14
Formuliere die folgenden Sätze.
- Der Isomorphiesatz für (zweitstufige) Dedekind-Peano-Modelle.
- Das Koinzidenzlemma.
- Der Vollständigkeitssatz der Modallogik.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.