Mathematische Logik/Gemischte Definitionsabfrage/17/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine maximal widerspruchsfreie prädikatenlogische Ausdrucksmenge ${}\Gamma \subseteq L^{S}$.
2. Ein topologischer Filter auf einem topologischen Raum ${}X$.
3. Die Interpretation der Terme zu einem Symbolalphabet ${}S$ in einer gegebenen ${}S$-Interpretation auf einer Grundmenge ${}M$.
4. Eine funktional abgeschlossene Teilmenge ${}T\subseteq M$ einer ${}S$-Struktur ${}M$, wobei ${}S$ ein erststufiges Symbolalphabet bezeichnet.
5. Eine vollständige Theorie ${}T\subseteq L_{0}^{S}$.
6. Ein modallogisches Modell.

Zur Lösung, Alternative Lösung erstellen