3 citations · 3 across the 4 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
math.GM2010★ 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.LO2010
On Tarski's Undefinability Theorem
Stephen Boyce
This paper shows that Tarski's revised Undefinability Theorem obscures a liar paradox affecting various systems in scope. Consider for example Tarski's general theory of classes (w…