The pointwise ergodic theorem in subsystems of second-order arithmetic

DOI10.2178/jsl/1174668383zbMath1116.03056OpenAlexW2055529827MaRDI QIDQ3426562

Ksenija Simic

Publication date: 12 March 2007

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1174668383

zbMATH Keywords

measure preserving transformationsintegrable functionslogical strengthpointwise ergodic theorem

Mathematics Subject Classification ID

Measure-preserving transformations (28D05) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (3)

Norm convergence of multiple ergodic averages for commuting transformations ⋮ The metamathematics of ergodic theory ⋮ Local stability of ergodic averages

Cites Work

• Unnamed Item

This page was built for publication: The pointwise ergodic theorem in subsystems of second-order arithmetic