Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Die zu einer (aussagenlogischen) Wahrheitsbelegung

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

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

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

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

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