The Andrzej Mostowski Centenary Conference

这是一项旅行基金申请，以支持12名美国与会者(4名研究数学家和8名博士生)参加将于2013年10月11日至13日在波兰华沙大学数学、信息学和力学学院举行的会议。这次会议由欧洲数学学会和克莱数学研究所华沙数学与计算机科学中心提供资金支持，并得到波兰数学学会的支持。本申请的目的不是为会议本身提供任何经费，而只是为旅费提供经费。这次会议有几个科学主题，每个主题都由领先的专家代表。莫斯托夫斯基教授在数理逻辑的多个领域做出了贡献。他最重要的著作是《集合论》，选题也反映了这一点。莫斯托夫斯基的一些想法已经在基础计算机科学中得到了应用。会议的计划将包括一次演讲和一次关于这一领域一些最近和相当意想不到的发展的教程。许多人可以从参加会议中受益。如果申请成功，申请旅行补助金的机会将在会议网站、符号逻辑协会时事通讯和流行的逻辑相关网站上公布。旅行补助金申请将由纽约市立大学研究生中心的谢尔盖·阿尔特莫夫设立并担任主席的委员会审查。CUNY有几名教职员工和研究生有兴趣参加这次会议，但委员会将尽一切努力确保遴选过程对每个人公平和公开，特别关注来自代表性不足群体的申请者。会议的更广泛影响：在科学领域，学科和工作者随着几代人的进步而变得越来越专业。数理逻辑和基础研究当然也是如此。虽然这并不令人惊讶，但对于那些关心数学本身基础的人来说，这是不幸的。广泛、知情和统一的观点很重要。2013年有一个独特的机会举办一次会议，旨在将基础研究的各个子学科的研究人员聚集在一起并对其产生影响，鼓励互动。今年是莫斯托夫斯基诞辰100周年。这将不是一次纪念会议，而是组织者计划将莫斯托夫斯基和他的想法作为一种中央组织手段，使他们能够将基础研究的所有基本领域的研究人员聚集在一起。预计演讲者将不仅展示莫斯托夫斯基教授的研究直接产生的结果的全景，而且还将提出研究方向、未解决的问题和新应用的可能性的建议。会议的网站是：http://mostowski100.mimuw.edu.pl/doku.php

This is an application for travel funds to support 12 U.S. participants (four research mathematicians and eight doctoral students) at the conference {\it Mostowski 100} to be held at the Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw, Poland, October 11-13th, 2013. The conference is organized with financial support of the European Mathematical Society and Warsaw Center of Mathematics and Computer Science, Clay Mathematics Institute, and is endorsed by the Polish Mathematical Society. The present application is not intended to provide any funding for the conference itself, only for funding for travel. There are several scientific themes of the conference, each represented by leading specialists. Professor Mostowski made contributions to several areas of Mathematical Logic. His most important work was in Set Theory, and the selection of topics reflects that. Some of Mostowski's ideas have found their application in Foundations Computer Science. The program of the conference will include a lecture and a tutorial on some recent and rather unexpected developments in this area. Many can benefit from participation in the conference. In case this application is successful, the opportunity to apply for travel grants will be advertised at the conference website, in the Association for Symbolic Logic newsletter, and on popular logic-related websites. Travel grant applications will be reviewed by a committee set up and chaired by Sergei Artemov of the Graduate Center of City University of New York. There are several faculty and graduate students at CUNY who are interested in going to the conference, but the committee will make every effort to make sure that the selection process is fair and open to everyone, with particular attention paid to applicants from underrepresented groups.Broader impacts of the conference: In the sciences generally, disciplines and workers become increasingly specialized with the progression of generations. This has certainly been the case with mathematical logic and foundational studies. While this is not surprising, it is unfortunate for those whose concern is the foundations of mathematics itself. A broad, informed, and unified outlook is important. In 2013 there is a unique opportunity to have a conference aimed at bringing together and affecting researchers across the various sub-disciplines of foundational studies, encouraging interaction. This year is the 100th anniversary of the birth of Andrzej Mostowski. It will not be a commemoration meeting, but rather the organizers plan to use Mostowski and his ideas as a central organizing device, that will allow them to bring together researchers in all the basic areas of foundational studies. The expectation is that the speakers will present not only the panorama of results directly stemming from Professor Mostowski's research, but also proposals for research directions, unsolved problems, and possibilities for new applications.The conference website is at http://mostowski100.mimuw.edu.pl/doku.php