270 Definitionsverzeichnis
Definition 5-12. Erfullbarkeit.......................................................................................................................227
Definition 5-13. Dreistellige modelltheoretische Erfullung.........................................................................227
Definition 5-14. Dreistellige modelltheoretische Erfullung fur Mengen...................................................... 228
Definition 5-15. Modelltheoretische Konsequenz fur Mengen.................................................................... 228
Definition 5-16. Allgemeingultigkeit fur Mengen ....................................................................................... 228
Definition 5-17. Erfullbarkeit fur Mengen ................................................................................................... 228
Definition 5-18. Der Abschluss einer Aussagenmenge unter modelltheoretischer Konsequenz ................. 228
Definition 6-1. Das Inventar von LH (KONSTERW, PAR, VAR, FUNK, PRA, JUNK, QUANT, PERF, HZ)...........245
Definition 6-2. Hintikka-Menge...................................................................................................................249