Logical aspects of rates of convergence in metric spaces. - Eyvind Martol Briseid (J. Symb. Log., 2009)

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

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