BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Some model theory with C^\\infty-rings and  Smooth Infinitesimal A
 nalysis - Filip Bár (University of Cambridge)
DTSTART:20120201T160000Z
DTEND:20120201T170000Z
UID:TALK36176@talks.cam.ac.uk
CONTACT:Filip Bár
DESCRIPTION:In the first half of the talk I will speak about the general i
 dea of how to construct models of the smooth world in which the category o
 f smooth manifolds can be embedded in a nice way using certain subcategori
 es of C^\\infty-rings. \nIn the second half we will turn to the naive theo
 ry and start to develop a smooth infinitesimal analysis using the Kock-Law
 vere axiom. The corresponding sections in Lavendhomme's book are 1.1.3\,1.
 1.4 and 1.2.    
LOCATION:Centre for Mathematical Sciences\, MR4
END:VEVENT
END:VCALENDAR