Epsilon theorems and non-classical logics

We show, that the presence of critical formulas allows for the derivation of arbitrary quantifier shifts in almost all nonclassical logics. This result is used to derive that the only superintuitionistic logics admitting the first epsilon theorem are the finitely-valued Gdel logics. They also admit the second epsilon theorem.
(Joint work with Richard Zach.)