US specific: Are Social Security, US government and military pensions and 401k or similar accounts potentially liable for tax?

In the US DTA, it specifically states that US government and military pensions are not taxable in Thailand. 401k and similar accounts, however, are taxable in Thailand. You can use any tax paid on them as tax credit if they are remitted to Thailand.