Omniscience principles and functions of bounded variation

DOI10.1002/1521-3870(200201)48:1%3C111::AID-MALQ111%3E3.0.CO;2-6zbMATH Open1025.03070OpenAlexW2108709315MaRDI QIDQ2776815FDOQ2776815

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

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

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)

Cites Work

• Title not available (Why is that?)
• Polynomials and linear transformations

Cited In (8)

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

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)