Omniscience principles and functions of bounded variation

DOI10.1002/1521-3870(200201)48:1%3C111::AID-MALQ111%3E3.0.CO;2-6MaRDI QIDQ2776815zbMATH OpenOpenAlexFDO

Authors Fred Richman

Publication date 6 March 2002

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1521-3870(200201)48:1%3C111::aid-malq111%3E3.0.co;2-6

zbMATH Keywords

function of bounded variationomniscience principle

Mathematics Subject Classification ID

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

Recommendations

• Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics
• Limited Omniscience and the Bolzano-Weierstrass Principle
• A Constructive Look at Functions of Bounded Variation
• Bounded variation implies regulated: a constructive proof
• An omniscience principle, the König Lemma and the Hahn‐Banach theorem

Cites work

• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Polynomials and linear transformations

Cited in

(8)

• Connecting real and hyperarithmetical analysis
• A constructive version of the Sylvester-Gallai theorem
• On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
• Limited Omniscience and the Bolzano-Weierstrass Principle
• Constructive projective extension of an incidence plane
• Betwixt Turing and Kleene
• Effective Choice and Boundedness Principles in Computable Analysis
• A constructive real projective plane

This page was built for publication: Omniscience principles and functions of bounded variation

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