TY - JOUR
T1 - Lipschitz Functions in Constructive Reverse Mathematics
AU - Loeb, I.
PY - 2013
Y1 - 2013
N2 - We study the statement that every locally lipschitz function is globally lipschitz for functions on various domains and codomains within the programme of constructive reverse mathematics. We place these statements in the hierarchy by comparing them to several variations of the fan theorem and show that the specific domain and codomain are essential for this. Furthermore, we identify some constructively relevant variations on the notion of lipschitz continuity. © The Author 2012.
AB - We study the statement that every locally lipschitz function is globally lipschitz for functions on various domains and codomains within the programme of constructive reverse mathematics. We place these statements in the hierarchy by comparing them to several variations of the fan theorem and show that the specific domain and codomain are essential for this. Furthermore, we identify some constructively relevant variations on the notion of lipschitz continuity. © The Author 2012.
UR - https://www.scopus.com/pages/publications/84872789308
UR - https://www.scopus.com/inward/citedby.url?scp=84872789308&partnerID=8YFLogxK
U2 - 10.1093/jigpal/jzs020
DO - 10.1093/jigpal/jzs020
M3 - Article
SN - 1367-0751
VL - 21
SP - 28
EP - 43
JO - Logic Journal of the IGPL
JF - Logic Journal of the IGPL
IS - 1
ER -