Mathematische Logik/Gemischte Definitionsabfrage/17/Aufgabe

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Eine maximal widerspruchsfreie prädikatenlogische Ausdrucksmenge .
  2. Ein topologischer Filter auf einem topologischen Raum .
  3. Die Interpretation der Terme zu einem Symbolalphabet in einer gegebenen -Interpretation auf einer Grundmenge .
  4. Eine funktional abgeschlossene Teilmenge einer -Struktur , wobei ein erststufiges Symbolalphabet bezeichnet.
  5. Eine vollständige Theorie .
  6. Ein modallogisches Modell.