BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Subclasses of the weakly computable reals - Kenshi Miyabe (Meiji U
 niversity)
DTSTART:20220609T080000Z
DTEND:20220609T090000Z
UID:TALK174821@talks.cam.ac.uk
DESCRIPTION:A real is called weakly computable if it is the limit of a com
 putable sequence of rationals such that the sum of the differences of adja
 cent terms\, or equivalently if it is the difference between two left-c.e.
  reals. The weakly computable reals form a real closed field. In this talk
 \, we discuss subclasses of the weakly computable reals that form a real c
 losed field by using Solovay reducibility extended for weakly computable r
 eals.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR