A metastable dominated convergence theorem

DOI10.4115/jla.2012.4.3zbMath1277.28003arXiv1108.4400OpenAlexW1680292221MaRDI QIDQ3145970

Jeremy Avigad, Jason Rute, Edward T. Dean

Publication date: 17 December 2012

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1108.4400

zbMATH Keywords

metastabilityquantitative convergence theorems

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence (28A20)

Related Items (2)

A computational study of a class of recursive inequalities ⋮ Logical metatheorems for abstract spaces axiomatized in positive bounded logic

This page was built for publication: A metastable dominated convergence theorem