1 problem

Let $(X,\mu)$ be a computable probability space. Let $T_1,\ldots,T_k$ be computable measure-preserving transformations that commute pairwise. Let $P$ be a $\Pi^0_1$ class with…