Showing math.LOShow all
2 papers · 1 filter
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…
math.LO2024
Randomness versus superspeedability
Rupert Hölzl, Philip Janicki, Wolfgang Merkle +1
Speedable numbers are real numbers which are algorithmically approximable from below and whose approximations can be accelerated nonuniformly. We begin this article by answering a…