I know that relief is available on "approved personal pension arrangements", does this include pension payments made by an Irish tax resident to a UK pension, I'm gonna presume yes, and since he does not have any UK source of income he is not getting double relief