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,219

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

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.
Structural correspondence between theories and convergence to truth.Gerhard Schurz - 2011 - Synthese 179 (2):307 - 320.
Some nonstandard methods in combinatorial number theory.Steven C. Leth - 1988 - Studia Logica 47 (3):265 - 278.
Local stability of ergodic averages.Jeremy Avigad - unknown
A Kripke semantics for the logic of Gelfand quantales.Gerard Allwein & Wendy MacCaull - 2001 - Studia Logica 68 (2):173-228.
The Kunen-Miller chart (lebesgue measure, the baire property, Laver reals and preservation theorems for forcing).Haim Judah & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (3):909-927.
Developments in constructive nonstandard analysis.Erik Palmgren - 1998 - Bulletin of Symbolic Logic 4 (3):233-272.
Functional properties and convergence in biology.Mark B. Couch - 2005 - Philosophy of Science 72 (5):1041-1051.
Strategic construction of Fitch-style proofs.Frederic D. Portoraro - 1998 - Studia Logica 60 (1):45-66.
Toward a constructive theory of unbounded linear operators.Feng Ye - 2000 - Journal of Symbolic Logic 65 (1):357-370.
Powers of the ideal of lebesgue measure zero sets.Maxim R. Burke - 1991 - Journal of Symbolic Logic 56 (1):103-107.
A Constructive View on Ergodic Theorems.Bas Spitters - 2006 - Journal of Symbolic Logic 71 (2):611 - 623.
Nonequilibrium statistical mechanics Brussels–Austin style.Robert C. Bishop - 2004 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (1):1-30.
Game logic and its applications II.Mamoru Kaneko & Takashi Nagashima - 1997 - Studia Logica 58 (2):273-303.

Analytics

Added to PP
2013-10-27

Downloads
23 (#644,212)

6 months
6 (#431,022)

Historical graph of downloads
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