Lipschitz functions in constructive reverse mathematics

DOI10.1093/jigpal/jzs020zbMath1277.03062OpenAlexW2037191757MaRDI QIDQ4925156

Iris Loeb

Publication date: 11 June 2013

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzs020

zbMATH Keywords

constructive mathematicsLipschitz continuityconstructive reverse mathematicsfan theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Lipschitz (Hölder) classes (26A16) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (2)

Unnamed Item ⋮ McShane-Whitney pairs

This page was built for publication: Lipschitz functions in constructive reverse mathematics