Navigate Up
Sign In
  • CRM
  • CRM
  • CRM
CRM > English > Activities > Curs 2016-2017 > SCHEDULE WORKSHOP ON THE APPLICATIONS OF STRONG LOGICS IN OTHER AREAS OF MATHEMATICS
SCHEDULE WORKSHOP ON THE APPLICATIONS OF STRONG LOGICS IN OTHER AREAS OF MATHEMATICS

 

Schedule
 
MONDAY, NOVEMBER 14, 2016
​11:00 - 11:30
Welcome Coffee and Registration
​11:30 - 12:30
​Set theory in algebraic topology Abstract
Andrew Brooke-Taylor (University of Bristol)
​12:30 - 15:00
Lunch
15:00 - 16:00
​Recognizable Sets and Woodin Cardinals Abstract​
Philipp Schlicht (Universität Bonn)
   
TUESDAY, NOVEMBER 15, 2016
​10:15 - 11:15
The logic of chains Abstract
Mirna Dzamonja (University of East Anglia)
​11:15 - 11:45
​Coffee break
​11:45 - 12:45
Pre-Saturation of the Non-Stationary Ideal on $\mathcal{P}_{\omega_1}(\lambda)$ for Singular $\lambda$
Dima Sinapova (University of Illinois at Chicago) Abstract
​12:45 - 15:00
​Lunch
​15:00 - 16:00
When is everything possible necessary? Abstract
Bill Mitchell (University of Florida)
 
WEDNESDAY, NOVEMBER 16, 2016
​10:45 - 11:45
Extended Logics and the Ramified Analytical Hierarchy Abstract
Philip Welch (University of Bristol)
​11:45 -12:15
​Coffee break
​12:15 - 13:15
Martin's Maximum with an asterisk Abstract
Ralf Schindler (Universität Münster)
​13:15 -
​Lunch
 
 
THURSDAY, NOVEMBER 17, 2016
​10:15 - 11:15
Left distributivity and large cardinals Abstract
Sheila Miller (New York City College of Technology)
​11:15 -11:45
​Coffee break
​11:45 - 12:45
TBA
Boban Velickovic (Université Paris Diderot-Paris 7)
​12:45 - 15:00
​Lunch
​15:00-16:00
Forcing-completeness welcomes (also) pluralists Abstract
David Asperó (University of East Anglia)
 
FRIDAY, NOVEMBER 18, 2016
​10:15 - 11:15
Set-theoretic aspects of pre-Hilbert spaces without orthonormal basis Abstract
Sakae Fuchino (Kobe University)
​11:15 -11:45
​Coffee break
​11:45 - 12:45
Strong Reflection Properties and Inner Models with Huge Cardinals Abstract
Matthew Foreman (​University of California at Irvine)
​12:45 -
​Lunch
  

​ ​​​​