278 Theoremverzeichnis
Theorem 5-20. Modelltheoretische Entsprechung zu BE*...........................................................................232
Theorem 5-21. Modelltheoretische Entsprechung zu BB............................................................................232
Theorem 5-22. Modelltheoretische Entsprechung zu AE ............................................................................ 233
Theorem 5-23. Modelltheoretische Entsprechung zu AB ............................................................................ 233
Theorem 5-24. Modelltheoretische Entsprechung zu AB* .......................................................................... 233
Theorem 5-25. Modelltheoretische Entsprechung zu NE ............................................................................ 234
Theorem 5-26. Modelltheoretische Entsprechung zu NB ............................................................................ 234
Theorem 5-27. Modelltheoretische Entsprechung zu UE ............................................................................ 234
Theorem 5-28. Modelltheoretische Entsprechung zu UB ............................................................................ 235
Theorem 5-29. Modelltheoretische Entsprechung zu PE ............................................................................. 235
Theorem 5-30. Modelltheoretische Entsprechung zu PB ............................................................................ 236
Theorem 5-31. Modelltheoretische Entsprechung zu IE .............................................................................. 236
Theorem 5-32. Modelltheoretische Entsprechung zu IB ............................................................................. 237
Theorem 6-1. Hauptbeweis der Korrektheit ................................................................................................ 240
Theorem 6-2. Korrektheit des Redehandlungskalkuls gegenuber der Modelltheorie.................................244
Theorem 6-3. Beschrankungen von LH-Modellen auf L sind L-Modelle.......................................................246
Theorem 6-4. LH-Modelle verhalten sich im Bezug auf geschlossene L-Terme, L-Aussagen und L-
Aussagenmengen genauso wie ihre Beschrankungen auf L............................................................... 247
Theorem 6-5. Eine L-Aussagenmenge ist genau dann LH-erfullbar, wenn sie L-erfullbar ist ....................... 247
Theorem 6-6. L-Sequenzen sind genau dann RGSH-Elemente, wenn sie RGS-Elemente sind ...................... 248
Theorem 6-7. Eine L-Aussage ist genau dann aus einer L-Aussagenmenge LH-ableitbar, wenn sie aus dieser
Menge L-ableitbar ist ......................................................................................................................... 248
Theorem 6-8. Eine L-Aussagenmenge ist genau dann LH-konsistent, wenn sie L-konsistent ist.................. 249
Theorem 6-9. Hintikka-Obermengen fur konsistente L-Aussagenmengen ................................................. 250
Theorem 6-10. Jede Hintikka-Menge ist LH-erfullbar .................................................................................. 254
Theorem 6-11. Modelltheoretische Konsequenzschaft impliziert Ableitbarkeit ......................................... 259
Theorem 6-12. Kompaktheitssatz ............................................................................................................... 259
More intriguing information
1. Backpropagation Artificial Neural Network To Detect Hyperthermic Seizures In Rats2. On the origin of the cumulative semantic inhibition effect
3. The Veblen-Gerschenkron Effect of FDI in Mezzogiorno and East Germany
4. EXECUTIVE SUMMARY
5. The storage and use of newborn babies’ blood spot cards: a public consultation
6. Co-ordinating European sectoral policies against the background of European Spatial Development
7. FOREIGN AGRICULTURAL SERVICE PROGRAMS AND FOREIGN RELATIONS
8. The Functions of Postpartum Depression
9. The name is absent
10. The economic doctrines in the wine trade and wine production sectors: the case of Bastiat and the Port wine sector: 1850-1908