Frank Stephan

activity

20242026

collaborators

Showing 2024Show all

2 papers · 1 filter

math.NT2024

Improved lower bounds for strong $n$ -conjectures

Rupert Hölzl, Sören Kleine, Frank Stephan

The well-known $ab c$ -conjecture concerns triples $(a, b, c)$ of non-zero integers that are coprime and satisfy $a + b + c = 0$ . The strong $n$ -conjecture is a generalisation to $n$ summa…

math.LO2024

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…

Improved lower bounds for strong n-conjectures

Independence and Induction in Reverse Mathematics

Improved lower bounds for strong $n$ -conjectures