A Constructive Look at Functions of Bounded Variation

DOI10.1112/S0024609399006736zbMATH Open1032.26026OpenAlexW2013913596MaRDI QIDQ4487673FDOQ4487673

Authors: Douglas Bridges 

Publication date: 22 June 2000

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/s0024609399006736

Recommendations

• Bounded variation implies regulated: a constructive proof
• Sequential Continuity of Functions in Constructive Analysis
• Publication:3497294
• scientific article
• Publication:3209638

zbMATH Keywords

constructive mathematicsuniform continuityfunctions of bounded variationsequential continuitycontinuity of monotone functions

Mathematics Subject Classification ID

Functions of bounded variation, generalizations (26A45) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Cited In (9)

• Median pretrees and functions of bounded variation
• Betwixt Turing and Kleene
• Effectively absolute continuity and effective Jordan decomposability
• On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
• Bounded variation implies regulated: a constructive proof
• Omniscience principles and functions of bounded variation
• Constructive Bounded Sequences and Lipschitz Functions
• Connecting real and hyperarithmetical analysis
• Remarks on the effective Jordan decomposition

This page was built for publication: A Constructive Look at Functions of Bounded Variation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487673)