Remember that an n-REA set is a set of the form $A_0 \oplus A_1 \oplus \ldots A_n$ with $A_n$ relatively r.e. in $A_m, m<n$ (so $A_0$ is r.e.) and that a degree is PA just if it computes a path through every infinite computable tree.

By Arslanov's completeness criterion no incomplete r.e. set can be of PA degree. While pursuing another problem I'm pretty sure I constructed a low 2-REA set of PA degree but before I bother to include that writeup in some paper (it's not the most riveting proof but seems worth mentioning somewhere) or even spend a bunch of time double checking it I wanted to see if it's known.

So anyone know if this result (or refutation) is already in the literature or is trivial to derive from it (e.g., clever use of relativized jump inversion)?

Remember that an n-REA set is a set of the form $A_0 \oplus A_1 \oplus \cdots \oplus A_n$ with $A_n$ relatively r.e. in $A_m, m<n$ (so $A_0$ is r.e.) and that a degree is PA just if it computes a path through every infinite computable tree.

By Arslanov's completeness criterion no incomplete r.e. set can be of PA degree. While pursuing another problem I'm pretty sure I constructed a low 2-REA set of PA degree but before I bother to include that writeup in some paper (it's not the most riveting proof but seems worth mentioning somewhere) or even spend a bunch of time double checking it I wanted to see if it's known.

So anyone know if this result (or refutation) is already in the literature or is trivial to derive from it (e.g., clever use of relativized jump inversion)?