Finite and Infinite Combinatorics in Sets and Logic

این جلد شامل گزارش مقالات ارائه شده در مؤسسه مطالعات پیشرفته ناتو در مورد ترکیبات متناهی و نامتناهی در مجموعه ها و منطق است که در مرکز Banff، آلبرتا، کانادا از 21 آوریل تا 4 مه 1991 برگزار شد. همانطور که از عنوان جلسه نشان می دهد. کارگران علاقه مند به تعامل بین ترکیبات متناهی و نامتناهی، نظریه مجموعه ها، نظریه گراف و منطق را گرد هم آورد. قبلاً این بود که نظریه مجموعه های نامتناهی، ترکیبات محدود و منطق را می توان موضوعاتی کاملاً مجزا و مستقل در نظر گرفت. اما هر چه بیشتر این رشته ها با هم رشد می کنند و به یکدیگر وابسته می شوند و مشکلات و نتایج بیشتری ظاهر می شود که مربوط به همه آن رشته ها است. من از حمایت مالی که توسط برنامه موسسه مطالعات پیشرفته N. A. T. O.، شورای تحقیقات علوم طبیعی و مهندسی کانادا و گروه ریاضیات و آمار دانشگاه کلگری ارائه شد، قدردانی می کنم. جلسه 11l'te در مورد ترکیبات متناهی و نامتناهی در مجموعه ها و منطق به دنبال دو نشست دیگر در مورد ریاضیات گسسته برگزار شد که در بنف برگزار شد، سمپوزیوم در مورد مجموعه های مرتب در سال 1981 و سمپوزیوم در مورد نمودارها و نظم در سال 1984. رابطه متقابل رو به رشد بین حوزه های مختلف در ریاضیات گسسته شاید به بهترین وجه این واقعیت نشان داده شود که بسیاری از شرکت کنندگانی که در جلسات قبلی حضور داشتند نیز در این جلسه در مورد ترکیبات متناهی و نامتناهی در مجموعه ها و منطق شرکت کردند.

This volume contains the accounts of papers delivered at the Nato Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic held at the Banff Centre, Alberta, Canada from April 21 to May 4, 1991. As the title suggests the meeting brought together workers interested in the interplay between finite and infinite combinatorics, set theory, graph theory and logic. It used to be that infinite set theory, finite combinatorics and logic could be viewed as quite separate and independent subjects. But more and more those disciplines grow together and become interdependent of each other with ever more problems and results appearing which concern all of those disciplines. I appreciate the financial support which was provided by the N. A. T. O. Advanced Study Institute programme, the Natural Sciences and Engineering Research Council of Canada and the Department of Mathematics and Statistics of the University of Calgary. 11l'te meeting on Finite and Infinite Combinatorics in Sets and Logic followed two other meetings on discrete mathematics held in Banff, the Symposium on Ordered Sets in 1981 and the Symposium on Graphs and Order in 1984. The growing inter-relation between the different areas in discrete mathematics is maybe best illustrated by the fact that many of the participants who were present at the previous meetings also attended this meeting on Finite and Infinite Combinatorics in Sets and Logic.