A Constructive Look at Functions of Bounded Variation

DOI10.1112/S0024609399006736MaRDI QIDQ4487673zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

constructive mathematicscontinuity of monotone functionsfunctions of bounded variationsequential continuityuniform continuity

Mathematics Subject Classification ID

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

Recommendations

• Bounded variation implies regulated: a constructive proof
• Sequential Continuity of Functions in Constructive Analysis
• scientific article; zbMATH DE number 4171258
• scientific article; zbMATH DE number 93787
• scientific article; zbMATH DE number 4190433

Cited in

(13)

• Betwixt Turing and Kleene
• Median pretrees and functions of bounded variation
• Remarks on the effective Jordan decomposition
• Omniscience principles and functions of bounded variation
• A constructive examination of rectifiability
• Constructive Bounded Sequences and Lipschitz Functions
• Bounded variation implies regulated: a constructive proof
• Effectively absolute continuity and effective Jordan decomposability
• On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
• Connecting real and hyperarithmetical analysis
• On some computational properties of open sets
• The biggest five of reverse mathematics
• Big in reverse mathematics: the uncountability of the reals

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)