3 papers
math.LO2026
Avoiding logical strength in real analysis
Anton Freund, Nicholas Pischke, Patrick Uftring
In reverse mathematics, real numbers are traditionally represented by Cauchy sequences with a given rate of convergence. We work without rates and speak of slow Cauchy sequences. I…
math.OC2026
Effective rates for continuous-time quasi-Fejér monotone dynamical systems
Anton Freund, Nicholas Pischke
We provide quantitative convergence results for continuous-time dynamical systems in metric spaces that satisfy a continuous-time analog of quasi-Fejér monotonicity. More precisel…
math.LO2024
More conservativity for weak KÅnig's lemma
Anton Freund, Patrick Uftring
We prove conservativity results for weak KÅnig's lemma that extend the celebrated result of Harrington (for -statements) and are somewhat orthogonal to the extension by Si…