Omniscience Principles and Functions of Bounded Variation

Mathematical Logic Quarterly 48 (1):111-116 (2002)
  Copy   BIBTEX

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 functions

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/1521-3870(200201)48:1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Bounded iteration and unary functions.Stefano Mazzanti - 2005 - Mathematical Logic Quarterly 51 (1):89-94.
Boolean Functions of Bounded Variation.William D. Duthie - 1938 - Journal of Symbolic Logic 3 (4):164-165.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
Review: William D. Duthie, Boolean Functions of Bounded Variation. [REVIEW]J. C. C. McKinsey - 1938 - Journal of Symbolic Logic 3 (4):164-165.
Bounded variation implies regulated: A constructive proof.Douglas Bridges & Ayan Mahalanobis - 2001 - Journal of Symbolic Logic 66 (4):1695-1700.
Uniqueness of a quasivariational sweeping process on functions of bounded variation.Thomas Roche - 2012 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 11 (2):363-394.
Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
Two General Results on Intuitionistic Bounded Theories.Fernando Ferreira - 1999 - Mathematical Logic Quarterly 45 (3):399-407.
A note on sharply bounded arithmetic.Jan Johannsen - 1994 - Archive for Mathematical Logic 33 (2):159-165.
On propagation of boundary continuity of holomorphic functions of several variables.Salla Franzén & Burglind Jöricke - 2008 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 7 (2):271-285.
Infinitely Peano differentiable functions in polynomially bounded o-minimal structures.Andreas Fischer - 2010 - Annals of Pure and Applied Logic 161 (12):1520-1524.
Bounded functional interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
A feasible theory for analysis.Fernando Ferreira - 1994 - Journal of Symbolic Logic 59 (3):1001-1011.
Bounded forcing axioms as principles of generic absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.

Analytics

Added to PP
2013-12-01

Downloads
28 (#553,203)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Big in Reverse Mathematics: The Uncountability of the Reals.Sam Sanders - forthcoming - Journal of Symbolic Logic:1-34.

Add more citations

References found in this work

No references found.

Add more references