Kähler moduli stabilization and the propagation of decidability