Lipschitz Functions in Constructive Reverse Mathematics

I. Loeb

doi:10.1093/jigpal/jzs020

Lipschitz Functions in Constructive Reverse Mathematics

I. Loeb

Research in Theoretical Philosophy

Research output: Contribution to Journal › Article › Academic › peer-review

Abstract

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.

Original language	English
Pages (from-to)	28-43
Journal	Logic Journal of the IGPL
Volume	21
Issue number	1
DOIs	https://doi.org/10.1093/jigpal/jzs020
Publication status	Published - 2013

Access to Document

10.1093/jigpal/jzs020

Persistent URL (handle)

Copy link address

Cite this

@article{19d7ba013cc747458be2e1c24b27006a,

title = "Lipschitz Functions in Constructive Reverse Mathematics",

abstract = "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. {\textcopyright} The Author 2012.",

author = "I. Loeb",

year = "2013",

doi = "10.1093/jigpal/jzs020",

language = "English",

volume = "21",

pages = "28--43",

journal = "Logic Journal of the IGPL",

issn = "1367-0751",

publisher = "Oxford University Press",

number = "1",

}

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.

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 -

Lipschitz Functions in Constructive Reverse Mathematics

Abstract

Access to Document

Persistent URL (handle)

Fingerprint

Cite this