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. The name is absent2. ARE VOLATILITY EXPECTATIONS CHARACTERIZED BY REGIME SHIFTS? EVIDENCE FROM IMPLIED VOLATILITY INDICES
3. Public-private sector pay differentials in a devolved Scotland
4. Om Økonomi, matematik og videnskabelighed - et bud på provokation
5. O funcionalismo de Sellars: uma pesquisa histδrica
6. Ex post analysis of the regional impacts of major infrastructure: the Channel Tunnel 10 years on.
7. From Aurora Borealis to Carpathians. Searching the Road to Regional and Rural Development
8. The name is absent
9. GROWTH, UNEMPLOYMENT AND THE WAGE SETTING PROCESS.
10. Testing Panel Data Regression Models with Spatial Error Correlation