10 citations · 22 across the 22 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
Arithmetical and Hyperarithmetical Worm Battles
David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov +2
Japaridze's provability logic has one modality for each natural number and has been used by Beklemishev for a proof theoretic analysis of Peano aritmetic and rel…
math.LO2021
Fast Goodstein Walks
David Fernández-Duque, Andreas Weiermann
We define a variant of the Goodstein process based on fast-growing functions and show that it terminates, but this fact is not provable in Kripke-Platek set theory or other theorie…