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. Initial Public Offerings and Venture Capital in Germany2. Review of “The Hesitant Hand: Taming Self-Interest in the History of Economic Ideas”
3. The name is absent
4. The Prohibition of the Proposed Springer-ProSiebenSat.1-Merger: How much Economics in German Merger Control?
5. Can genetic algorithms explain experimental anomalies? An application to common property resources
6. The name is absent
7. Conflict and Uncertainty: A Dynamic Approach
8. A NEW PERSPECTIVE ON UNDERINVESTMENT IN AGRICULTURAL R&D
9. On s-additive robust representation of convex risk measures for unbounded financial positions in the presence of uncertainty about the market model
10. Nurses' retention and hospital characteristics in New South Wales, CHERE Discussion Paper No 52