Travel Support for a Thematic Program in Strong Logics

首席研究员计划在西班牙贝拉特拉的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.