Ergodic Undefinability in Set Theory and Recursion Theory

Daniele Mundici
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
more » ... eric w.r.t. all ZFGC-definable Borel subsets of G is not ZFGC-definable, and (2) "being generic w.r.t. all hyperarithmetical properties of dyadic sequences" is not itself a hyperarithmetical property of dyadic sequences.
doi:10.2307/2044326 fatcat:73wxdfn2xvdxfkcaszpv2ieogm