No, it is not tax deductible to him but it is taxable to her. The payments will be made directly to her by the provider. She should receive paperwork from the provider, such as an IRS form 1099.
If he writes the check directly to her then it is the same as alimony and would be deductible to him and income to her. Normally retirement is paid by the provider.