3 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
On Chwistek's criticism of Principia
Stephen Boyce
This paper examines Chwistek's claim that with Principia's definition of a class "Richard's paradox can be formulated". It is shown that the demonstration fails since it requires a…