Two logical hierarchies of optimization problems over the real numbers

Uffe Flarup Hansen, Klaus Meer. Two logical hierarchies of optimization problems over the real numbers. Math. Log. Q., 52(1):37-50, 2006. [doi]

Abstract

Abstract is missing.