3 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Stephen Boyce
The standard interpretation of first-order number theory (PA), according to the generally accepted view, associates well-defined set-theoretic entities with each and every well-for…