On the computational content of the Bolzano-Weierstraß Principle. - Pavol Safarik; Ulrich Kohlenbach (Math. Log. Q., 2010)

A functional interpretation for nonstandard arithmetic. - Benno van den Berg; Eyvind Martol Briseid; Pavol Safarik (Ann. Pure Appl. Log., 2012)

Fluctuations, effective learnability and metastability in analysis. - Ulrich Kohlenbach; Pavol Safarik (Ann. Pure Appl. Log., 2014)

The strength of countable saturation. - Benno van den Berg; Eyvind Martol Briseid; Pavol Safarik (Arch. Math. Log., 2017)