@article{ergodic,
    AUTHOR = {Spitters, Bas},
     TITLE = {A constructive view on ergodic theorems},
   JOURNAL = {J. Symbolic Logic},
  FJOURNAL = {The Journal of Symbolic Logic},
    VOLUME = {71},
      YEAR = {2006},
    NUMBER = {2},
     PAGES = {611--623},
      ISSN = {0022-4812}
}