Eyvind Martol Briseid

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Topics

Functional Analysis

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Benno van den Berg, Eyvind Martol Briseid, Pavol Safarik
The strength of countable saturation. Arch. Math. Log. 56 (5-6) (2017)
Benno van den Berg, Eyvind Martol Briseid, Pavol Safarik
A functional interpretation for nonstandard arithmetic. Ann. Pure Appl. Log. 163 (12) (2012)
Eyvind Martol Briseid
Logical aspects of rates of convergence in metric spaces. J. Symb. Log. 74 (4) (2009)