Travel Support for a Thematic Program in Strong Logics

首席研究员计划在西班牙贝拉特拉（Bellaterra）的数学研究中心（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，其中包含完整的计划、受邀研究人员名单和科学活动。所有客户关系管理活动均在医疗辅助队日历和医疗服务系统网站的其他网页中公布。专题计划是将强逻辑和大基数领域获得的成果传播到更广泛的数学界的机会，也是巩固跨学科研究新领域的宝贵工具。其中一个计划的研讨会题为“强逻辑模型理论的理论方面”，将在项目开始时举行，另一个研讨会题为“强逻辑在其他数学领域的应用”，将在项目结束时举行。在其中一个研讨会期间，计划为初级研究人员开设一门高级课程。提议的演讲者名单包括集合论，模型论和逻辑领域最杰出的国际演讲者，该计划包括该领域研究的最前沿发展。

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.