Time:  12:00  13:20 
Room: 
Scaife Hall 219

Speaker: 
Peter Lumsdaine Department of Mathematical Sciences Carnegie Mellon University 
Title: 
Sheaves III

Abstract:  Last week, we looked at how to model (intuitionistic) firstorder logic in sheaves on a space (generalising the usual way we do so in sets). This week, we'll extend this to modelling (some) analysis, and use this to give an independence result: in constructive analysis, there can exist a Cauchy sequence of rationals with no modulus of convergence. 