Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-24T15:56:18.878Z Has data issue: false hasContentIssue false

Corrigendum to: ‘A constructive view on ergodic theorems’

Published online by Cambridge University Press:  12 March 2014

Bas Spitters*
Affiliation:
Radboud University Nijmegen, The Netherlands, E-mail: spitters@cs.ru.nl

Abstract

Jeremy Avigad kindly pointed out to me that the proof of Theorem 2 in [3] is incomplete. At the very end it assumes that when is located, so is . This is not correct. In fact, Avigad explained that the construction in the proof of Theorem 15.3 in [1] can be read as a recursive counterexample to the statement: ‘If , then Anx converges for every x’. As a result the conclusion of Theorem 2 should be that An converges if and only if is located. Similar changes have to be made in the abstract, Lemma 4, and Theorem 16. Finally, the paragraph on ergodic measure preserving transformations should be removed.

As an unrelated point we would like to mention that in the last two displayed equations of the proof of theorem 1 the term should be replaced by .

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Avigad, Jeremy and Simic, Ksenija, Fundamental notions of analysis in subsystems of second-order arithmetic, Annals of Pure and Applied Logic, vol. 139 (2006), pp. 138184.CrossRefGoogle Scholar
[2]Spitters, Bas, Constructive and intuitionistic integration theory and function al analysis, Ph.D. thesis, University of Nijmegen, 2002.Google Scholar
[3]Spitters, Bas, A constructive view on ergodic theorems, this Journal, vol. 71 (2006), no. 2, pp. 611623.Google Scholar