All Questions

I think proposition XIII.1.22 of Odifreddi is false but I wanted to check I wasn't being dumb. Here's the claim. Definition: The set$^1$ $A$ is arithmetically-hyperimmune-free if every function $f$ ...