So - how about this. A UK citizen, permanent resident in the US. Files returns etc. etc.
This publication:
https://www.irs.gov/pub/irs-pdf/p901.pdffrom the IRS itself, is a summary of the tax treaties. RE pensions, it says this:
<<
Pensions paid by, or funds created by, the
United Kingdom, its political subdivisions, or local
authorities for services performed for the
United Kingdom are exempt from U.S. income
tax unless the recipient is both a resident
andcitizen of the United States.
These exemptions do not apply to income or
pensions for services performed in connection
with a business carried on by the United Kingdom,
its political subdivisions, or local authorities.
Venezuela
Income, other than a pension, p>>
So - if one receives a bog standard UK pension as a result of normal work and contributions, and one is a green card holder and resudent, but not citizen, doesn't this imply the UK pension is NOT taxable in the US?