Avigad, Jeremy; Gerhardy, Philipp; Towsner, Henry Local stability of ergodic averages. (English) Zbl 1187.37010 Trans. Am. Math. Soc. 362, No. 1, 261-288 (2010). Reviewer: Athanase Papadopoulos (Strasbourg) MSC: 37A30 03F60 03F03 PDFBibTeX XMLCite \textit{J. Avigad} et al., Trans. Am. Math. Soc. 362, No. 1, 261--288 (2010; Zbl 1187.37010) Full Text: DOI arXiv
Avigad, Jeremy The metamathematics of ergodic theory. (English) Zbl 1168.03047 Ann. Pure Appl. Logic 157, No. 2-3, 64-76 (2009). Reviewer: Stefano Galatolo (Pisa) MSC: 03F60 37A30 PDFBibTeX XMLCite \textit{J. Avigad}, Ann. Pure Appl. Logic 157, No. 2--3, 64--76 (2009; Zbl 1168.03047) Full Text: DOI
Avigad, Jeremy; Simic, Ksenija Fundamental notions of analysis in subsystems of second-order arithmetic. (English) Zbl 1109.03069 Ann. Pure Appl. Logic 139, No. 1-3, 138-184 (2006). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 PDFBibTeX XMLCite \textit{J. Avigad} and \textit{K. Simic}, Ann. Pure Appl. Logic 139, No. 1--3, 138--184 (2006; Zbl 1109.03069) Full Text: DOI