10 citations · 52 across the 24 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022
A Reunion of Godel, Tarski, Carnap, and Rosser
Saeed Salehi
We unify Godel's First Incompleteness Theorem (1931), Tarski's Undefinability Theorem (1933), Godel-Carnap's Diagonal Lemma (1934), and Rosser's (strengthening of Godel's first) In…
math.LO2022
On Godel's "Much Weaker" Assumption
Saeed Salehi
Godelian sentences of a sufficiently strong and recursively enumerable theory, constructed in Godel's 1931 groundbreaking paper on the incompleteness theorems, are unprovable if th…