At least b) is impossible, because the only low computably dominated degree is $\mathbf 0$ (see Soare's book *Recursively Enumerable Sets and Degrees*) and there are no computable nonstandard models of PA.