A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
Ergodic Undefinability in Set Theory and Recursion Theory

1981
*
Proceedings of the American Mathematical Society
*

Let T be a measure preserving ergodic transformation of a compact Abelian group G with normalized Haar measure m on the collection Q> of Borel sets; call g e G generic w.r.t. a set 5 6 4 iff, upon action by T, g is to stay in B with limit frequency equal to m(B). We study the definability of generic elements in Zermelo-Fraenkel set theory with Global Choice (ZFGC, which is a very good conservative extension of ZFQ, and in higher recursion theory. We prove (1) the set of those g £ G which are

doi:10.2307/2044326
fatcat:73wxdfn2xvdxfkcaszpv2ieogm