Pavol Safarik

Publication Activity (10 Years)

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

Top Topics

Computationally Efficient

Top Venues

Ann. Pure Appl. Log.

Arch. Math. Log.

Publications

Benno van den Berg, Eyvind Martol Briseid, Pavol Safarik
The strength of countable saturation. Arch. Math. Log. 56 (5-6) (2017)
Ulrich Kohlenbach, Pavol Safarik
Fluctuations, effective learnability and metastability in analysis. Ann. Pure Appl. Log. 165 (1) (2014)
Benno van den Berg, Eyvind Martol Briseid, Pavol Safarik
A functional interpretation for nonstandard arithmetic. Ann. Pure Appl. Log. 163 (12) (2012)
Pavol Safarik, Ulrich Kohlenbach
On the computational content of the Bolzano-Weierstraß Principle. Math. Log. Q. 56 (5) (2010)