223 citations · 725 across the 95 of their papers we have counts for
Showing 2021 · math.LOShow all
2 papers · 2 filters
math.LO2021
Transfinite game values in infinite draughts
Joel David Hamkins, Davide Leonessi
Infinite draughts, or checkers, is played just like the finite game, but on an infinite checkerboard extending without bound in all four directions. We prove that every countable o…
math.LO2021
Is the twin prime conjecture independent of Peano Arithmetic?
Alessandro Berarducci, Antongiulio Fornasiero, Joel David Hamkins
We show that there is an arithmetical formula F such that ZF proves that F is independent of PA and yet, unlike other arithmetical independent statements, the truth value of F cann…