10 citations · 15 across the 3 of their papers we have counts for
3 papers
math.LO2016★ 5 cited
On Constructivity and the Rosser Property: a closer look at some Gödelean proofs
Saeed Salehi, Payam Seraji
The proofs of Kleene, Chaitin and Boolos for Gödel's First Incompleteness Theorem are studied from the perspectives of constructivity and the Rosser property. A proof of the incomp…
math.LO2016
Godel's Second Incompleteness Theorem for Definable Theories
Payam Seraji, Conden Chao
It is proved that if is a Definable theory which is -sound and extends , then can not prove the sentence that expresses the -soundnes…
math.LO2015★ 10 cited
Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories
Saeed Salehi, Payam Seraji
Godel's First Incompleteness Theorem is generalized to definable theories, which are not necessarily recursively enumerable, by using a couple of syntactic-semantic notions, one is…