Mathematische Logik/Gemischte Definitionsabfrage/1/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe. Bei 3.-7. bedeutet ${}S$ ein Symbolalphabet einer prädikatenlogischen Sprache erster Stufe.

1. Ein Primzahlzwilling.
2. Die Bestandteile einer Grundtermmenge.
3. Eine ${}S$-Struktur zu einem Symbolalphabet ${}S$ einer Sprache erster Stufe.
4. Ein allgemeingültiger prädikatenlogischer Ausdruck ${}\alpha \in L^{S}$.
5. Ein ${}S$-Homomorphismus

   $\varphi \colon M\longrightarrow N$

   zwischen zwei ${}S$-Strukturen ${}M$ und ${}N$.

6. Eine arithmetisch repräsentierbare Relation ${}R\subseteq \mathbb {N} ^{r}$.

Zur Lösung, Alternative Lösung erstellen