Title : ( On the Constructive Notion of Closure Maps )
Authors: Mohammad Ardeshir , Rasoul Ramezanian ,
دانلود فایل برای اعضای دانشگاهAccess to full-text not allowed by authors
Abstract
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.
Keywords
, Constructive reverse mathematics, closure maps, fan theorem
@article{paperid:1053932,
author = {Mohammad Ardeshir and Ramezanian, Rasoul},
title = {On the Constructive Notion of Closure Maps},
journal = {Mathematical Logic Quarterly},
year = {2012},
volume = {58},
number = {4},
month = {July},
issn = {0942-5616},
pages = {348--355},
numpages = {7},
keywords = {Constructive reverse mathematics; closure maps; fan theorem},
}
%0 Journal Article
%T On the Constructive Notion of Closure Maps
%A Mohammad Ardeshir
%A Ramezanian, Rasoul
%J Mathematical Logic Quarterly
%@ 0942-5616
%D 2012
