Lebesgue’s dominated convergence theorem in Bishop’s style

&
Annals of Pure and Applied Logic 163 (2):140-150 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.06.020

Links

PhilArchive



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

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

Lebesgue’s dominated convergence theorem in Bishop’s style.Claudio Sacerdoti Coen & Enrico Zoli - 2012 - Annals of Pure and Applied Logic 163 (2):140-150.
Lebesgue Convergence Theorems and Reverse Mathematics.Xiaokang Yu - 1994 - Mathematical Logic Quarterly 40 (1):1-13.
Effective Fine‐convergence of Walsh‐Fourier series.Takakazu Mori, Mariko Yasugi & Yoshiki Tsujii - 2008 - Mathematical Logic Quarterly 54 (5):519-534.
The swap of integral and limit in constructive mathematics.Rudolf Taschner - 2010 - Mathematical Logic Quarterly 56 (5):533-540.
A metastable dominated convergence theorem.Jeremy Avigad, Edward T. Dean & Jason Rute - unknown
Algorithmic randomness, reverse mathematics, and the dominated convergence theorem.Jeremy Avigad, Edward T. Dean & Jason Rute - 2012 - Annals of Pure and Applied Logic 163 (12):1854-1864.
The Theorem of Convergence of Opinions and Hume's Problem.Chen Xiaoping - 2008 - Modern Philosophy 5:014.
A constructive proof of the Peter‐Weyl theorem.Thierry Coquand & Bas Spitters - 2005 - Mathematical Logic Quarterly 51 (4):351-359.
Structural correspondence between theories and convergence to truth.Gerhard Schurz - 2011 - Synthese 179 (2):307 - 320.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
First order tameness of measures.Tobias Kaiser - 2012 - Annals of Pure and Applied Logic 163 (12):1903-1927.
Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic.Mariagnese Giusto & Alberto Marcone - 1998 - Archive for Mathematical Logic 37 (5-6):343-362.
Some nonstandard methods in combinatorial number theory.Steven C. Leth - 1988 - Studia Logica 47 (3):265 - 278.
Exact equiconsistency results for Δ 3 1 -sets of reals.Haim Judah - 1992 - Archive for Mathematical Logic 32 (2):101-112.
Powers of positive elements in C *-algebras.Hiroki Takamura - 2011 - Mathematical Logic Quarterly 57 (5):481-484.

Analytics

Added to PP
2017-02-19

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Constructive algebraic integration theory.Bas Spitters - 2006 - Annals of Pure and Applied Logic 137 (1-3):380-390.
A proof–technique in uniform space theory.Douglas Bridges & Luminiţa Vîţă - 2003 - Journal of Symbolic Logic 68 (3):795-802.

Add more references