3 citations · 3 across the 4 of their papers we have counts for
1 paper · 2 filters
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…