We present a constructive proof in Bishop’s style of Lebesgue’s dominated convergence theorem in the abstract setting of ordered uniform spaces. The proof generalises to this setting a classical proof in the framework of uniform lattices presented by Hans Weber in “Uniform Lattices II: Order Continuity and Exhaustivity”, in Annali di Matematica Pura ed Applicata (IV), Vol. CLXV (1993).
C. Sacerdoti Coen, E. Zoli (2012). Lebesgue's dominated convergence theorem in Bishop's style. ANNALS OF PURE AND APPLIED LOGIC, 163(2), 140-150 [10.1016/j.apal.2011.06.020].
Lebesgue's dominated convergence theorem in Bishop's style
SACERDOTI COEN, CLAUDIO;ZOLI, ENRICO
2012
Abstract
We present a constructive proof in Bishop’s style of Lebesgue’s dominated convergence theorem in the abstract setting of ordered uniform spaces. The proof generalises to this setting a classical proof in the framework of uniform lattices presented by Hans Weber in “Uniform Lattices II: Order Continuity and Exhaustivity”, in Annali di Matematica Pura ed Applicata (IV), Vol. CLXV (1993).File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
