Travel Support for a Thematic Program in Strong Logics

首席研究员计划在西班牙Bellaterra的Centre de Recerca Matematica（CRM）组织两个为期5天的研讨会，作为CRM大型红衣主教和强逻辑计划的一部分。该计划将于2016年9月5日至12月16日举行，将包括讲座和研讨会。该奖项旨在为来自美国的12名早期职业研究人员和研究生提供一个独特的机会，让他们积极参与每周定期的研讨会、讲习班和强化课程，以及4名知名研究人员。会议的地理区域加泰罗尼亚在一般逻辑，集合论和模型论领域非常强大，并且该位置是欧洲和美国研究人员的自然焦点。参加.该计划的网页位于http：//www.crm.cat/en/Activities/Curs_2016-2017/Pages/IRP-Large-Cardinals-and-Strong-Logics.aspx，其中包含完整的计划，受邀研究人员名单和科学活动。所有CRM活动都发布在AMS日历和EMS网站等网页上。主题计划是将强逻辑和大型基数领域所取得的成果传播到更广泛的数学界的机会，并作为巩固跨学科研究新领域的宝贵工具。其中一个计划的研讨会题为“强逻辑模型理论的集合理论方面”，将在课程开始时进行，另一个题为“强逻辑在其他数学领域的应用”，将在课程结束时进行。计划在其中一个讲习班期间为初级研究人员开设高级课程。拟议的演讲者名单包含集合论，模型论和逻辑方面最杰出的国际演讲者，该计划包括该领域研究的最前沿发展。

The principal investigator plans to organize two 5-day long workshops at the Centre de Recerca Matematica (CRM) in Bellaterra, Spain, as part of a program in large cardinals and strong logics at CRM. The program will take place from September 5 to December 16, 2016, and will comprise lectures and workshops. The award is intended to support a unique opportunity for active participation of twelve early-career researchers and graduate students from the U.S. in regular weekly seminars, workshops, and intensive courses, as well as four established researchers. The geographical area of the conference, Catalonia, is very strong in the area of general logic, set theory, and model theory, and the location is a natural focal point for researchers in Europe and the United States. to attend. The program's web page is at http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/IRP-Large-Cardinals-and-Strong-Logics.aspx, which contains the full program, list of invited researchers, and scientific events. All CRM activities are posted in the AMS calendar and EMS website among other web pages.The thematic program is an opportunity for the dissemination of the results obtained in the area of strong logics and large cardinals to the broader mathematical community, and as an invaluable instrument for the consolidation of a new field of interdisciplinary research. One of the planned workshops is entitled "Set Theoretical Aspects of the Model Theory of Strong Logics," which will take place at the beginning of the program, and the other is entitled "Applications of Strong Logics in Other Areas of Mathematics," which will take place towards the end of the program. An advanced course aimed at junior researchers is planned during one of the workshops. The proposed list of speakers contains the most distinguished international speakers in Set Theory, Model Theory and Logic, and the program includes the most cutting-edge developments in research the area.