دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: Rev. ed نویسندگان: Roland Fraisse سری: Studies in Logic and the Foundations of Mathematics 145 ISBN (شابک) : 9780444505422, 0444505423 ناشر: Elsevier سال نشر: 2000 تعداد صفحات: 455 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
در صورت تبدیل فایل کتاب Theory of Relations به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه روابط نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
اجازه دهید دوباره یک موقعیت پراکنده A را با عدم تعبیه Q در A تعریف کنیم. می گوییم A به طور متناهی آزاد است اگر هر محدودیت پادزنجیره A محدود باشد (ضد زنجیره = مجموعه ای از عناصر متقابل غیرقابل مقایسه پایه). در سال 1969 Bonnet و Pouzet ثابت کردند که اگر ترتیب گنجاندن فواصل اولیه A پراکنده باشد، یک پوست A به طور متناهی آزاد و پراکنده است. در سال 1981 پوزه هم ارزی با شرط پیشینی قوی تر را ثابت کرد که A از نظر توپولوژیکی پراکنده است. به عنوان مثال: هر مجموعه غیر خالی از فواصل اولیه حاوی یک عنصر جدا شده برای توپولوژی همگرایی ساده است. در فصل 9، نظریه عمومی روابط را با مفاهیم ایزومورفیسم محلی، تفسیرپذیری آزاد و عملگر آزاد (9.1 تا 9.3)، که نسخه رابطهگرایانه یک فرمول منطقی آزاد است، آغاز میکنیم.
Let us again define a scattered poset A by the non-embedding of Q in A. We say that A is finitely free if every antichain restriction of A is finite (antichain = set of mutually incomparable elements of the base). In 1969 Bonnet and Pouzet proved that a poset A is finitely free and scattered iff the ordering of inclusion of initial intervals of A is scattered. In 1981 Pouzet proved the equivalence with the a priori stronger condition that A is topologically scattered: (see 6.7.4; a more general result is due to Mislove 1984); ie: every non-empty set of initial intervals contains an isolated elements for the simple convergence topology. In chapter 9 we begin the general theory of relations, with the notions of local isomorphism, free interpretability and free operator (9.1 to 9.3), which is the relationist version of a free logical formula.-