Loading...

On the constructive notion of closure maps

Ardeshir, M ; Sharif University of Technology | 2012

298 Viewed
  1. Type of Document: Article
  2. DOI: 10.1002/malq.201110040
  3. Publisher: Wiley , 2012
  4. Abstract:
  5. Let A be a subset of the constructive real line. What are the necessary and sufficient conditions for the set A such that A is continuously separated from other reals, i.e., there exists a continuous function f with f -1(0) = A? In this paper, we study the notions of closed sets and closure maps in constructive reverse mathematics
  6. Keywords:
  7. Closure maps ; Constructive reverse mathematics ; Fan theorem
  8. Source: Mathematical Logic Quarterly ; Volume 58, Issue 4-5 , 2012 , Pages 348-355 ; 09425616 (ISSN)
  9. URL: http://onlinelibrary.wiley.com/doi/10.1002/malq.201110040/abstract;jsessionid=7625D785D319F549021A6870DE90A442.f03t02