BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Lab Lunch
SUMMARY:Synthetic domain theory versus N^\\infty-sets - Pr
of Mojgan Mahmoudi (Shahid Beheshti University)
DTSTART:20140626T130000Z
DTEND:20140626T140000Z
UID:TALK1431AT
URL:/talk/index/1431
DESCRIPTION:\n\nFollowing Dana Scott's idea of studying domain
-theoretic\nstructures as set-theoretic structures
in a model of\nintuitionistic set theory\; especi
ally thinking ``domains are sets"\nand ``continuou
s maps are maps" and working in a topos\, the idea
\nof synthetic domain theory (SDT) formalized in 1
991 by Hyland\,\nalso Taylor. Then followed and ex
panded by some other people like\nRosolini\, Phoa
\, and Simpson\, also few models of synthetic doma
in \ntheory were introduced (see for example Fiore
's paper).\n\nIn this talk\, the ideas of Syntheti
c Domain Theory are\nconsidered in the presheaf to
pos of $\\N^\\infty$-sets\, where\n$\\N^\\infty$ i
n the monoid of extended natural numbers with the\
nminimum as the binary operation.
LOCATION:CS 217
CONTACT:Neel Krishnaswami
END:VEVENT
END:VCALENDAR