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. Effects of a Sport Education Intervention on Students’ Motivational Responses in Physical Education2. The name is absent
3. The name is absent
4. Human Resource Management Practices and Wage Dispersion in U.S. Establishments
5. The name is absent
6. Creating a 2000 IES-LFS Database in Stata
7. Secondary stress in Brazilian Portuguese: the interplay between production and perception studies
8. On Dictatorship, Economic Development and Stability
9. The name is absent
10. The name is absent