Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR S58522 - Computable real function - Document - PDFSEARCH.IO

First Page	Meta Content
	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Document Date: 2009-02-12 12:32:50 Open Document File Size: 341,04 KB Share Result on Facebook City Calgary / / Facility Computer Science University of Manchester / / Organization Computer Science University / University of Manchester / Turing Machines Paul Taylor Department / / URL www.cs.man.ac.uk/∼pt/ASD / / SocialTag Theory of computation Mathematical logic General topology Functional analysis Computable number Computable function Continuous function Baire space Topological space Computability theory

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522Add to Reading List