دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: T. Arai, J. Brendle, Chong C. T., R. Downey, Feng Q., H. Kikyo, H. Ono (eds.) سری: ISBN (شابک) : 9814293024, 9789814293020 ناشر: World Scientific سال نشر: 2010 تعداد صفحات: 400 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب Proceedings of the 10th Asian Logic Conference به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقالات کنفرانس منطق دهمین کنفرانس آسیایی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
دهمین کنفرانس منطق آسیایی از 1 تا 6 سپتامبر 2008 در دانشگاه کوبه ژاپن برگزار شد. بودجه عمده توسط انجمن منطق نمادین، انجمن ترویج علم ژاپن، بنیاد علم Inoue و دانشگاه کوبه ارائه شده است. 121 شرکت کننده از استرالیا، اتریش، چین، کلمبیا، جمهوری چک، هند، اسرائیل، هلند، نیوزیلند، سنگاپور، کره جنوبی، اسپانیا، بریتانیا، ایالات متحده آمریکا و ژاپن ثبت نام کردند. از نویسندگان دعوت شد تا مقالاتی را برای جلد حاضر ارسال کنند. کلیه مقالات ارسالی به طور کامل داوری شدند.
The 10th Asian Logic Conference was held September 1-6, 2008 in Kobe University, Japan. Major funding was provided by the Association for Symbolic Logic, Japan Society for the Promotion of Science, Inoue Foundation for Science and Kobe University. There were 121 registered participants from Australia, Austria, China, Colombia, Czech Republic, India, Israel, The Netherlands, New Zealand, Singapore, South Korea, Spain, United Kingdom, USA and Japan. Authors were invited to submit papers to the present volume. All of the submitted papers were fully refereed.
Cover ......Page 1
Preface ......Page 5
Contents ......Page 6
An Application of Nonstandard Arguments to the Study of Generic Structures (Y. Anbo) ......Page 8
Constructive Geometry (M. Beeson) ......Page 26
A Separation Result for Varieties of Brouwer's Fan Theorem (J. Berger) ......Page 92
A Term-Rewriting Characterization of PSPACE (N. Eguchi) ......Page 100
I-ultrafilters and Summable Ideals (J. Flaskova) ......Page 120
Lowness and Highness Properties for Randomness Notions (J. Franklin) ......Page 131
Countable Borel Equivalence Relations, Borel Reducibility, and Orbit Equivalence (G. Hjorth) ......Page 158
A Remark on Generic Structures and the Number of Countable Models (K. Ikeda) ......Page 220
Geometric Simplicity Theory (B. Kim) ......Page 233
Weak Weak König’s Lemma in Constructive Reverse Mathematics (T. Nemoto) ......Page 269
On Preservation and Reflection of Stationary Subsets of Pkλ When cf(λ) < κ (H. Sakai) ......Page 277
Turing Degrees and the Ershov Hierarchy (F. Stephan, Y. Yang, L. Yu) ......Page 306
Weak Randomness, Genericity and Boolean Decision Trees (T. Suzuki, M. Kumabe) ......Page 328
A Note on Multiple Inductive Definitions (K. Tanaka) ......Page 351
Isolation in the d.c.e. Degrees (G. Wu) ......Page 359
On Π11 Conservativity for Π12 Theories in Second Order Arithmetic (K. Yokoyama) ......Page 381
Around Rosy CM-TYivial Theories (I. Yoneda) ......Page 393