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.
Bjørn Kjos-Hanssen
- 24.8k
- 3
- 58
- 114