The pointwise ergodic theorem in subsystems of second-order arithmetic

Type: Article

Publication Date: 2007-03-01

Citations: 7

DOI: https://doi.org/10.2178/jsl/1174668383

Locations

  • Journal of Symbolic Logic - View