上で少し間違えた
標数pの体ではなくp進体が決定可能
標数pの体は実閉体で決定可能がわかっている