University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Subclasses of the weakly computable reals

Subclasses of the weakly computable reals

Download to your calendar using vCal

If you have a question about this talk, please contact nobody.

SASW09 - International conference on computability, complexity and randomness

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.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity