Mathematische Logik/Gemischte Definitionsabfrage/5/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Die zu einer (aussagenlogischen) Wahrheitsbelegung

    auf einer Aussagenvariablenmenge zugehörige Interpretation auf der Sprache .

  2. Das Alphabet einer Sprache erster Stufe.
  3. Ein Nichtstandardmodell zu einem fixierten -Modell .
  4. Die Arithmetische Repräsentierbarkeit einer Abbildung
  5. Eine vollständige Theorie .
  6. Das universelle modallogische Modell zu einem -modallogischen System .
Zur Lösung, Alternative Lösung erstellen