3 citations · 3 across the 3 of their papers we have counts for
Showing math.GMShow all
2 papers · 1 filter
math.GM2026★ 3 cited
On the arithmetization of syntax
Stephen Boyce
It is generally accepted that the incompleteness of first-order number theory (PA) is established by an application of Godel's proof. This paper shows that the arithmetization of t…
math.GM2026
On first-order arithmetic truth
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…