Mathematische Logik/Gemischte Definitionsabfrage/5/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Die zu einer (aussagenlogischen) Wahrheitsbelegung

   $\lambda \colon V\longrightarrow \{0,1\}$

   auf einer Aussagenvariablenmenge ${}V$ zugehörige Interpretation auf der Sprache ${}L^{V}$.

2. Das Alphabet einer Sprache erster Stufe.
3. Ein Nichtstandardmodell zu einem fixierten ${}S$-Modell ${}M$.
4. Die Arithmetische Repräsentierbarkeit einer Abbildung

   $F\colon \mathbb {N} ^{r}\longrightarrow \mathbb {N} ^{s}.$

5. Eine vollständige Theorie ${}T\subseteq L_{0}^{S}$.
6. Das universelle modallogische Modell zu einem ${}K$-modallogischen System ${}\Gamma$.

Zur Lösung, Alternative Lösung erstellen