Subclasses of the weakly computable reals
- đ¤ Speaker: Kenshi Miyabe (Meiji University)
- đ Date & Time: Thursday 09 June 2022, 09:00 - 10:00
- đ Venue: Seminar Room 1, Newton Institute
Abstract
A real is called weakly computable if it is the limit of a computable sequence of rationals such that the sum of the differences of adjacent 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 closed field by using Solovay reducibility extended for weakly computable reals.
Series This talk is part of the Isaac Newton Institute Seminar Series series.
Included in Lists
- All CMS events
- bld31
- dh539
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 1, Newton Institute
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)

Kenshi Miyabe (Meiji University)
Thursday 09 June 2022, 09:00-10:00