Navigate Up
Sign In
  • CRM
  • CRM
  • CRM
CRM > English > Activities > Curs 2016-2017 > IRP Large Cardinals and Strong Logics
IRP Large Cardinals and Strong Logics
 
September 5 to December 16, 2016
​General information
​ 
 
Description
 
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. 
 

Objectives
 
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.
 
Scientific organizers
 

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 

DominikAdolfRutgers University13/11/201611/12/2016
DavidAsperóUniversity of East Anglia14/11/201614/11/2016
John T.BaldwinUniversity of Illinois26/09/201604/10/2016
WillBoneyCarnegie Mellon University18/09/201601/10/2016
JörgBrendleKobe University12/12/201616/12/2016
AndrewBrooke-TaylorUniversity of Leeds05/09/201616/12/2016
AndrewBrooke-TaylorUniversity of Leeds14/11/201618/11/2016
FilippoCalderoniUniversità degli Studi di Torino05/09/201619/11/2016
NatashaDobrinenUniversity of Denver03/12/201616/12/2016
MirnaDzamonjaUniversity of East Anglia19/10/201602/11/2016
MirnaDzamonjaUniversity of East Anglia13/11/201616/11/2016
MatthewForemanUniversity of California at Irvine15/09/201622/09/2016
SakaeFuchinoKobe University05/09/201616/12/2016
SakaeFuchinoKobe University12/09/201625/11/2016
RamiGrossbergCarnegie Mellon University24/09/201601/10/2016
TapaniHyttinenUniversity of Helsinki23/10/201603/11/2016
DaisukeIkegamiTokyo Denki University24/09/201601/10/2016
AsafKaragilaThe Hebrew University of Jerusalem15/09/201628/09/2016
JulietteKennedyUniversity of Helsinki01/09/201605/11/2016
MenachemKojmanBen-Gurion University of the Negev11/09/201625/09/2016
VadimKulikovUniversity of Helsinki22/09/201627/09/2016
PaulLarsonMiami University25/09/201601/10/2016
Jean A.LarsonUniversity of Florida17/11/201629/11/2016
RobertLubarskyFlorida Atlantic University18/09/201608/10/2016
MenachemMagidorThe Hebrew University of Jerusalem01/09/201601/10/2016
MenachemMagidorThe Hebrew University of Jerusalem10/11/201624/11/2016
MaryantheMalliarisUniversity of Chicago13/09/201619/09/2016
AdrianMathiasUniversité de La Réunion12/09/201618/12/2016
SheilaMillerNew York City College of Technology13/11/201619/11/2016
WilliamMitchellUniversity of Florida01/11/201601/12/2016
BillMitchellUniversity of Florida14/11/201618/11/2016
JiríRosickýMasaryk University11/09/201601/10/2016
RalfSchindlerUniversität Münster08/09/201616/12/2016
RalfSchindlerUniversität Münster14/11/201618/11/2016
PhilippSchlichtUniversität Bonn14/11/201618/11/2016
DimaSinapovaUniversity of Illinois at Chicago13/11/201617/11/2016
IoannisSouldatosUniversity of Detroit Mercy24/09/201601/10/2016
StevoTodorcevicUniversity of Toronto20/11/201630/11/2016
JoukoVäänänenUniversity of Helsinki01/09/201607/10/2016
Monicavan DierenRobert Morris University24/09/201601/10/2016
BobanVelickovicUniversité Paris Diderot-Paris 722/09/201618/11/2016
BobanVelickovicUniversité Paris Diderot-Paris 714/11/201618/11/2016
MatteoVialeUniversità degli Studi di Torino26/09/201630/09/2016
AndrésVillavecesUniversidad Nacional de Colombia22/09/201613/11/2016
PhilipWelchUniversity of Bristol07/11/201618/11/2016
William HughWoodinHarvard University25/09/201601/10/2016
MartinZemanUniversity of California at Irvine27/11/201617/12/2016
​​
This is an automatic list updated as research visitors confirm their participation.

Activities
 
 

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: asl@vassar.edu. 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


Organizing Partners

 


                        Simons Foundatio blue block SF LOGO.jpg                                CMI_petit.jpg

Sponsors
 

                                 logo.png                                          Logo_NSF.gif
Further information
 


For inquiries about the program please contact the research program's coordinator Ms. Núria Hernandez at nhernandez@crm.cat​ .
 
​​​​​​​​​​​​​​​​​​​
​​​​​​​​​​​​​​