Mathematical logic seminar - October 23, 2007

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) first-order 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.