Turing degree A that does not compute 0'', but A+0' does? – math.stackexchange.com

Does there exist a turing degree $A$, such that $A \not \geq_T \emptyset''$ and $A\oplus \emptyset' \geq_T \emptyset''$? (edit: yes, by Friedberg's inversion theorem) I asked this to Claude AI which ...