%0 Journal Article %A Chen, Yijia %A Flum, Jörg %A Müller, Moritz %D 2013 %I Elsevier %J Annals of Pure and Applied Logic %N 12 %P 1224-1235 %T Consistency, optimality, and incompleteness %V 164