September 5 to December 16, 2016
Many natural mathematical concepts cannot be expressed in first-order logic but need stronger logics. Among such concepts are the freeness of a group, separability of a space, completeness of an order, etc. This led to the introduction of the concept of a generalized quantifier, which made it possible to compare model-theoretic and set-theoretic definability of various mathematical concepts. It turned out that there is a close connection between the two.
By a strong logic we mean model-theoretically defined extensions of first-order logic, such as first-order logic with generalized quantifiers, infinitary logics, second-order logic, as well as higher-order logics. The study of strong logics runs immediately into questions that depend essentially on set-theoretical assumptions beyond the standard ZFC axioms, such as infinitary combinatorial principles and the existence of large cardinals. It is therefore crucial to be able to pinpoint the position of a given strong logic in the set-theoretical definability hierarchy, thus helping us understand better the set-theoretical nature of the logic, and therefore of the mathematical notions it can express.
This program will bring to the CRM a diverse group of international high-level researchers working in strong logics, large cardinals, the foundations of set theory, and the applications of set-theoretical methods in other areas of mathematics, such as algebra, set-theoretical topology, category theory, algebraic topology, homotopy theory, C*-algebras, measure theory, etc. In all these areas there are not only direct set-theoretical applications but also new results and methods, which are amenable to the expressive power of strong logics.
Menachem Magidor, Professor of Mathematics, Einstein Institute of Mathematics of The Hebrew University of Jerusalem
Ralf Schindler, Universität Münster
Jouko Väänänen, Professor of Mathematics, University of Helsinki
Invited visiting researchers
|David||Asperó||University of East Anglia||14/11/2016||14/11/2016|
|John T.||Baldwin||University of Illinois||26/09/2016||04/10/2016|
|Will||Boney||Carnegie Mellon University||18/09/2016||01/10/2016|
|Andrew||Brooke-Taylor||University of Leeds||05/09/2016||16/12/2016|
|Andrew||Brooke-Taylor||University of Leeds||14/11/2016||18/11/2016|
|Filippo||Calderoni||Università degli Studi di Torino||05/09/2016||19/11/2016|
|Natasha||Dobrinen||University of Denver||03/12/2016||16/12/2016|
|Mirna||Dzamonja||University of East Anglia||19/10/2016||02/11/2016|
|Mirna||Dzamonja||University of East Anglia||13/11/2016||16/11/2016|
|Matthew||Foreman||University of California at Irvine||15/09/2016||22/09/2016|
|Rami||Grossberg||Carnegie Mellon University||24/09/2016||01/10/2016|
|Tapani||Hyttinen||University of Helsinki||23/10/2016||03/11/2016|
|Daisuke||Ikegami||Tokyo Denki University||24/09/2016||01/10/2016|
|Asaf||Karagila||The Hebrew University of Jerusalem||15/09/2016||28/09/2016|
|Juliette||Kennedy||University of Helsinki||01/09/2016||05/11/2016|
|Menachem||Kojman||Ben-Gurion University of the Negev||11/09/2016||25/09/2016|
|Vadim||Kulikov||University of Helsinki||22/09/2016||27/09/2016|
|Jean A.||Larson||University of Florida||17/11/2016||29/11/2016|
|Robert||Lubarsky||Florida Atlantic University||18/09/2016||08/10/2016|
|Menachem||Magidor||The Hebrew University of Jerusalem||01/09/2016||01/10/2016|
|Menachem||Magidor||The Hebrew University of Jerusalem||10/11/2016||24/11/2016|
|Maryanthe||Malliaris||University of Chicago||13/09/2016||19/09/2016|
|Adrian||Mathias||Université de La Réunion||12/09/2016||18/12/2016|
|Sheila||Miller||New York City College of Technology||13/11/2016||19/11/2016|
|William||Mitchell||University of Florida||01/11/2016||01/12/2016|
|Bill||Mitchell||University of Florida||14/11/2016||18/11/2016|
|Dima||Sinapova||University of Illinois at Chicago||13/11/2016||17/11/2016|
|Ioannis||Souldatos||University of Detroit Mercy||24/09/2016||01/10/2016|
|Stevo||Todorcevic||University of Toronto||20/11/2016||30/11/2016|
|Jouko||Väänänen||University of Helsinki||01/09/2016||07/10/2016|
|Monica||van Dieren||Robert Morris University||24/09/2016||01/10/2016|
|Boban||Velickovic||Université Paris Diderot-Paris 7||22/09/2016||18/11/2016|
|Boban||Velickovic||Université Paris Diderot-Paris 7||14/11/2016||18/11/2016|
|Matteo||Viale||Università degli Studi di Torino||26/09/2016||30/09/2016|
|Andrés||Villaveces||Universidad Nacional de Colombia||22/09/2016||13/11/2016|
|Philip||Welch||University of Bristol||07/11/2016||18/11/2016|
|William Hugh||Woodin||Harvard University||25/09/2016||01/10/2016|
|Martin||Zeman||University of California at Irvine||27/11/2016||17/12/2016|
This is an automatic list updated as research visitors confirm their participation.
Grants from the National Science Foundation (CLOSED)
Thanks to a grant from the National Science Foundation we can offer a few grants to USA based advanced doctoral students and post-doctoral researchers interested in participating in the program.
We can offer two different packages including registration, housing (in shared apartments on campus from the day before the beginning of the first event to the day after the last one) and travel reimbursement to participate in the program's scientific events. More information
Grants for members of the Association for Symbolic Logic (CLOSED)
Student members of the ASL (Association for Symbolic Logic) may apply for travel grants to attend the two Workshops of the program (see above).
To be considered for a travel award, please (1) send a letter of application, and (2) ask your thesis supervisor to send a brief recommendation letter. The application letter should be brief (preferably one page) and should include: (1) your name; (2) your home institution; (3) your thesis supervisor's name; (4) a one-paragraph description of your studies and work in logic, and a paragraph indicating why it is important to attend the meeting; (5) your estimate of the travel expenses you will incur; (6) (for citizens or residents of the USA) citizenship or visa status; and (7) (voluntary) indication of your gender and minority status. Women and members of minority groups are strongly encouraged to apply.
In addition to funds provided by the ASL, the program of travel grants is supported by a grant from the US National Science Foundation; NSF funds for meetings outside of North America may be awarded only to students at USA universities and to citizens and permanent residents of the USA. Air travel paid for using NSF funds must be in accordance with the Fly America Act. Application by email is encouraged; put "ASL travel application'' in the subject line of your message.
Applications and recommendations should be received at least three months prior to the start of the meeting at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: firstname.lastname@example.org. Decisions will be communicated at least two months prior to the meeting.
CRM grants for young researchers (PhD students and Post-doctoral researchers) (CLOSED)
In order to increase the number of young researchers participating in its Intensive Research Programs, the CRM announces a call for participants interested in participating in the IRP on Large Cardinals and Strong Logics, from September to December 2016. More information
For inquiries about the program please contact the research program's coordinator Ms. Núria Hernandez at email@example.com