Showing math.LOShow all
3 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…
math.LO2023
Benign approximations and non-speedability
Rupert Hölzl, Philip Janicki
A left-computable number is called regainingly approximable if there is a computable increasing sequence of rational numbers converging to such that $x - x_n < 2^…