BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Theoretical computer science seminar
SUMMARY:Reverse mathematics of non-deterministic inductive
definitions - Hajime Ishihara (JAIST)
DTSTART:20181119T150000Z
DTEND:20181119T163000Z
UID:TALK3457AT
URL:/talk/index/3457
DESCRIPTION:We present some reverse mathematics within a const
ructive set theory\, and\nclassify the following t
heorems in terms of non-deterministic\ninductive d
efinition (NID) principles:\nFullness\;\nthe categ
ory of basic pairs and relation pairs has coequali
sers\;\nthe category of sets and relations has wea
k coequalisers\;\nthe category of concrete spaces
and convergent relation pairs has equalisers\;\nth
e class of formal points of a set-presented formal
topology is set-generated\;\nthe class of models
of a geometric theory is set-generated.\nThis is a
joint work with Ayana Hirata\, Tatsuji Kawai and
Takako Nemoto.
LOCATION:Computer Science\, room 245
CONTACT:Benedikt Ahrens
END:VEVENT
END:VCALENDAR