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

First Page		Document Content
Date: 2009-02-12 12:32:50 Theory of computation Mathematical logic General topology Functional analysis Computable number Computable function Continuous function Baire space Topological space Computability theory Mathematics Topology		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 Source URL: www.paultaylor.eu Download Document from Source Website File Size: 341,04 KB Share Document on Facebook

	SUBSPACES OF PSEUDORADIAL SPACES Martin Sleziak Abstract. We prove that every topological space (T0 -space, T1 -space) can be embedded in a pseudoradial space (in a pseudoradial T0 -space, T1 -space). This DocID: 1uFSH - View Document
	The étale fundamental group Wouter Zomervrucht, December 9, Topology Let X be a connected topological space. Let x ∈ X be a point. An important invariant of ( X, x ) is the (topological) fundamental group DocID: 1tfA0 - View Document
	TOPOLOGICAL CRYSTALS JOHN C. BAEZ Abstract. Sunada’s work on topological crystallography emphasizes the role of the ‘maximal abelian cover’ of a graph X. This is a covering space of X for which the group of deck tr DocID: 1t23O - View Document
	161 Documenta Math. Sobolev Spaces on Lie Manifolds and Regularity for Polyhedral Domains DocID: 1rsVn - View Document
	161 Documenta Math. Sobolev Spaces on Lie Manifolds and Regularity for Polyhedral Domains DocID: 1rr2b - View Document