- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Omniscience Principles and Functions of Bounded Variation
Mathematical Logic Quarterly 48 (1):111-116 (2002)
Abstract
A very weak omniscience principle is formulated, related omniscience principlesare considered, and the theorem that a function of bounded variation is the difference of two increasing functions is shown to be equivalent to the omniscience principle WLPO. It is a so shown that an arbitrary function with located variation on an interval is the difference of two increasing functionsOther Versions
No versions found
My notes
Similar books and articles
Sequential Continuity of Functions in Constructive Analysis.Douglas Bridges & Ayan Mahalanobis - 2000 - Mathematical Logic Quarterly 46 (1):139-143.
Weak-operator Continuity and the Existence of Adjoints.Douglas Bridges & Luminita Dediu - 1999 - Mathematical Logic Quarterly 45 (2):203-206.
The reverse mathematics of theorems of Jordan and lebesgue.André Nies, Marcus A. Triplett & Keita Yokoyama - 2021 - Journal of Symbolic Logic 86 (4):1657-1675.
Bounded variation implies regulated: A constructive proof.Douglas Bridges & Ayan Mahalanobis - 2001 - Journal of Symbolic Logic 66 (4):1695-1700.
Boolean Functions of Bounded Variation.William D. Duthie - 1938 - Journal of Symbolic Logic 3 (4):164-165.
An omniscience principle, the König Lemma and the Hahn‐Banach theorem.Hajime Ishihara - 1990 - Mathematical Logic Quarterly 36 (3):237-240.
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.Kentaro Sato - 2022 - Archive for Mathematical Logic 61 (3):399-435.
Weihrauch degrees, omniscience principles and weak computability.Vasco Brattka & Guido Gherardi - 2011 - Journal of Symbolic Logic 76 (1):143 - 176.
Duthie William D.. Boolean functions of bounded variation. Duke mathematical journal, vol. 4 , pp. 600–606.J. C. C. McKinsey - 1938 - Journal of Symbolic Logic 3 (4):164-165.
Bounded Modified Realizability.Fernando Ferreira & Ana Nunes - 2006 - Journal of Symbolic Logic 71 (1):329 - 346.
Analytics
Added to PP
2013-12-01
Downloads
32 (#707,649)
6 months
3 (#1,471,783)
2013-12-01
Downloads
32 (#707,649)
6 months
3 (#1,471,783)
Historical graph of downloads
Citations of this work
Effective choice and boundedness principles in computable analysis.Vasco Brattka & Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (1):73-117.
On Robust Theorems Due to Bolzano, Weierstrass, Jordan, and Cantor.Dag Normann & Sam Sanders - 2024 - Journal of Symbolic Logic 89 (3):1077-1127.
Big in Reverse Mathematics: The Uncountability of the Reals.Sam Sanders - 2024 - Journal of Symbolic Logic 89 (4):1607-1640.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-fcc9b7db9-lnxxs uwo