Dang - just wrote a long reply and the system lost it.

Short version - figure out what the pension is worth. If there is some other way for him to pay you it’s value, that might be worth doing. Sample pension calculation:
If you were married ten years, and he has twenty years in working to earn that pension, and expects to work five more years. Let’s say the monthly pension payment is $2,000. You would get 1/2 x $2,000 x 10/25 = $400 a month.

Calculating the lump sum value if that is complicated, and requires actuarial data, but I would guesstimate it’s lump sum value at $50k-$70 k (probably at the lower end). Could he give you that money in some other way? Taking all the debt, for example, if there’s a ton of joint credit card debt? Taking out a loan of some kind?

Also, if the pension does have COLA it’s more valuable.