| 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. |