دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]
دانلود کتاب تکمیل و تعریف: کاربرد بازی Ehrenfeucht در منطق مرتبه دوم و منطق [PhD Thesis]
مشخصات کتاب
Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]
دسته بندی: منطق ویرایش: نویسندگان: Kees Doets سری: ناشر: University of Amsterdam سال نشر: 1987 تعداد صفحات: 134 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکمیل و تعریف: کاربرد بازی Ehrenfeucht در منطق مرتبه دوم و منطق [PhD Thesis] نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکمیل و تعریف: کاربرد بازی Ehrenfeucht در منطق مرتبه دوم و منطق [PhD Thesis]
پایان نامه زیر نظر پروفسور به پایان رسید. یوهان ون بنتم این پایان نامه حاوی نتایجی در مورد منطق کلاسیک درجه اول و دوم (قسمت اول و دوم) و همکاران هدف آنها: منطق معانی- زمان و شهودی (گزاره ای) (قسمت سوم) است.
توضیحاتی درمورد کتاب به خارجی
Dissertation completed under supervision of prof. Johan van Benthem. The dissertation contains results on classical first- and second-order logic (parts I and II) and their intensional colleagues: modal- tense- and intuitionistic (propositional) logic (part III).
فهرست مطالب
Preface ......Page 8
1.0 Introduction ......Page 11
1.1 Notation and terminology ......Page 15
1.2 α-equivalence ......Page 16
1.3 Ordinal-bounded Ehrenfeucht games ......Page 17
1.4 Fraïssé-Karp sequences ......Page 22
1.5 Logic ......Page 23
1.6 Scott sentences ......Page 25
1.7 The finite case ......Page 27
1.8 The unbounded case ......Page 28
1.9 Basis results ......Page 30
2.1 Introduction ......Page 33
2.2 Playing in trees ......Page 34
2.3 Characterizing n-equivalence of Bm ......Page 38
2.4 Finiteness of binary trees is not Σ11 ......Page 42
3.1 Introduction: ω and finite orderings ......Page 46
3.2 Monadic Π11-theory of scattered ordering ......Page 54
3.3 Monadic Π11-theory of complete orderings, of well-orderings and of the reals ......Page 57
3.4 Appendix: strengthening 3.2.4 and 3.3.4 ......Page 65
4. Monadic Π11-theory of well-founded trees ......Page 68
5. Fine structure of modal correspondence theory ......Page 76
6. Game theory for intensional logics, exact universal Kripke models and normal forms ......Page 92
7. Completeness for Z-time ......Page 99
8. Rodenburg’s tree-problem ......Page 104
9. First-order definability of one-variable intuitionistic formulas on finite partial orderings ......Page 108
Appendix A: Can time be directional? ......Page 118
Appendix B: Reduction of higher-order logic ......Page 122
References ......Page 126
Samenvatting ......Page 130
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Invention and Induction Laudan, Simon and the Logic of Discovery
دانلود کتاب Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes
دانلود کتاب Descriptive Set Theory
دانلود کتاب One Scripture or Many?: Canon from Biblical, Theological, and Philosophical Perspectives
دانلود کتاب Selected Philosophical and Methodological Papers
دانلود کتاب Problems in the philosophy of mathematics: Proceedings of International Colloquium in Philosophy of Science London 1965, Volume 1
دانلود کتاب Problem Solving in Organizations: A Methodological Handbook forBusiness Students
دانلود کتاب Introduction to Logic and to the Methodology of the Deductive Sciences
دانلود کتاب Model Theory
