Pavol Safarik

Available identifiers

zbMath Open safarik.pavolMaRDI QIDQ392288

List of research outcomes

Publication	Date of Publication	Type
The strength of countable saturation	2017-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q2930066	2014-11-17	Paper
On the extraction of computational content from noneffective convergence proofs in analysis	2014-11-17	Paper
Fluctuations, effective learnability and metastability in analysis	2014-01-13	Paper
A functional interpretation for nonstandard arithmetic	2012-10-11	Paper
A quantitative nonlinear strong ergodic theorem for Hilbert spaces	2012-05-04	Paper
On the computational content of the Bolzano-Weierstraß Principle	2010-11-04	Paper

Research outcomes over time

This page was built for person: Pavol Safarik