دوره درسی کوتاه مدت در نظریۀ مجموعه‌ها از سوی دیوید آسپرو

در هفته آینده یک دوره درسی کوتاه مدت توسط دکتر David Aspero از دانشگاه East Anglia برگزار خواهد شد.
عنوان دوره:
 Forcing with symmetric systems as side condition
and adding few new reals

Abstract:

There is a useful method for constructing models of set theory with the continuum arbitrarily large, involving iterated forcing with symmetric systems of models as side conditions. It turns out that a natural variation of this method can be used to produce forcing constructions giving rise to models of the Continuum Hypothesis. Unlike the case with the classical approaches to preserving CH, this new method produces forcing notions which actually add new reals, but only a small number of them. I will give a gentle introduction to this method, focusing on some of its applications.

اطلاعات بیشتر در اینجا آمده است.

در ضمن ایشان یک سخنرانی هم در کنفرانس انجمن منطق که در تاریخ های ۲۱-۲۳ آذر برگزار میشود ارائه میکنند که عنوان آن در زیر آمده است:
Large cardinals, forcing axioms,
and mathematical realisms
با سپاس از دکتر محمد گلشنی از پژوهشگاه دانش‌های بنیادی که اطلاع رسانی کردند.

منتشر شده

در

توسط

برچسب‌ها:

دیدگاه‌ها

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *