Retirement tax questions

Thanks.  So if these contributions were made with after tax payments i.e. I had already been taxed in the UK on those contributions, then I could them as a deduction from the income, correct ??   ALso, as this is a UK Government Pension, do I report the income as Social Security income (using SSA-1099) or as Pension income