Navigate Up
Sign In
  • CRM
  • CRM
  • CRM
CRM > English > Activities > Curs 2016-2017 > Schedule Workshop on Set-theoretical aspects of the model theory of strong logics
Schedule Workshop on Set-theoretical aspects of the model theory of strong logics
Schedule
 
MONDAY, SEPTEMBER 26, 2016
​10:00 - 10:15 ​Registration
​10:15 - 11:15
Generic absoluteness and supercompact cardinals
​William Hugh Woodin (Harvard University)
​11:15 -11:45 ​Coffee break
​11:45 - 12:45
Useful axioms  Viale, Matteo.pdfAbstract
Matteo Viale (Università degli Studi di Torino)
​12:45 - 14:30 ​Lunch
​14:30 - 15:30
Inner models from Boolean valued higher order logics and Omega-logic  Daisuke Ikegami.pdfAbstract
Daisuke ikegami (Tokyo Denki University)
​15:30 - 16:00
​Break
​16:00 - 17:00

​TBA

Paul Larson (Miami University)

​17:15 - 17:45
A generalisation of closed unbounded sets and square sequences  Brickhill.pdfAbstract
Hazel Brickhill (University of Bristol)
 
   
TUESDAY, SEPTEMBER 27, 2016
​10:15 - 11:15
Borel-star sets and infinitary languages  Kulikov.pdfAbstract
Vadim Kulikov (University of Helsinki)
​11:15 -11:45 ​Coffee break
​11:45 - 12:45
Strong DOP and the Borel hierarchy
Miguel Moreno (University of Helsinki)
​12:45 - 14:30 ​Lunch
​14:30 - 15:30
Reflection of Magidor-Malitz quantifiers  Abstract Hayut.pdfAbstract
Yair Hayut (The Hebrew University of Jerusalem)
​15:30 - 16:00
​Break
​16:00 - 16:30
Abstract model theory and set–theoretic multiverses  Vincenzi, Antonio.pdfAbstract
Antonio Vincenzi (University of Genova)
16:30 - 17:00

​Completeness of Infinitary Intuitionistic Logics  abstract_espindola.pdfAbstract

Christian Espindola (Stockolm University)

 

 
WEDNESDAY, SEPTEMBER 28, 2016
​10:15 - 11:15
The hanf number for Extendabilitybarcabs.pdfAbstract
John T. Baldwin (University of Illinois)
​11:15 -11:45 ​Coffee break
​11:45 - 12:45
Model-theoretic characterizations of large cardinals  CRMStrongLogicsAbstract.pdfAbstract
Will Boney (Carnegie Mellon University)
​12:45 - 14:30 ​Lunch

 

 

THURSDAY, SEPTEMBER 29, 2016
​10:15 - 11:15
Reflection principles and abstract elementary classes  Villaveces.pdfAbstract
Andrés Villaveces (Universidad Nacional de Colombia)
​11:15 -11:45 ​Coffee break
​11:45 - 12:45
On connections between model theory and set theory 
Rami Grossberg (Carnegie Mellon University)
​12:45 - 14:30 ​Lunch
​14:30 - 15:30
The weak diamond, amalgamation, and the uniqueness of limit models  Van Dieren.pdfAbstract
Monica van Dieren (Robert Morris University)
​15:30 - 16:00
​Break
​16:00 - 17:00
Approximate injectivity  Rosicky, Jiri.pdfAbstract
Jirí Rosický (Masaryk University)
​17:15 - 17:45
Abstract elementary classes categorical in a high-enough limit cardinal  Vasey, Sebastien.pdfAbstract
Sebastien Vasey (Carnegie Mellon University)
​17:45 - 18:15

​Contributed talk                                                                                                                         Ioannis Souldatos (University of Detroit Mercy)

 

FRIDAY, SEPTEMBER 30, 2016
​10:15 - 11:15
Kripke and Heyting-valued Models for Constructive Set Theory  Kripke and Heyting-valued Models for Constructive Set Theory.pdfAbstract 
Robert Lubarsky (Florida Atlantic University)
​11:15 -11:45 ​Coffee break
​11:45 - 12:45
Ascending paths and large antichains in products  luecke_abstract.pdfAbstract
Philipp Luecke (Universität Bonn)
​12:45 - 14:30 ​Lunch

​