3 papers
math.NT2025
Strong -conjectures over rings of integers
Rupert Hölzl, Sören Kleine, Frank Stephan
We study diophantine equations of the form where the 's are assumed to be coprime and to satisfy certain subsum conditions. We are interested in the…
math.LO2025
Independence and Induction in Reverse Mathematics
David Belanger, Chi Tat Chong, Rupert Hölzl +1
We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the exist…
math.LO2024
The computational content of multidimensional discontinuity
Rupert Hölzl, Keng Meng Ng
The Weihrauch degrees are a tool to gauge the computational difficulty of mathematical problems. Often, what makes these problems hard is their discontinuity. We look at discontinu…