Pavol Safarik

According to our database, Pavol Safarik authored at least 4 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

The strength of countable saturation.

Benno van den Berg, Eyvind Martol Briseid, Pavol Safarik

Arch. Math. Log., 2017

2014

Fluctuations, effective learnability and metastability in analysis.

Ulrich Kohlenbach, Pavol Safarik

Ann. Pure Appl. Log., 2014

2012

A functional interpretation for nonstandard arithmetic.

Benno van den Berg, Eyvind Martol Briseid, Pavol Safarik

Ann. Pure Appl. Log., 2012

2010

On the computational content of the Bolzano-Weierstraß Principle.

Pavol Safarik, Ulrich Kohlenbach

Math. Log. Q., 2010