Payam Seraji

According to our database, Payam Seraji authored at least 5 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2018

Gödel's second incompleteness theorem for Σ n -definable theories.

Conden Chao, Payam Seraji

Log. J. IGPL, 2018

On constructivity and the Rosser property: a closer look at some Gödelean proofs.

Saeed Salehi, Payam Seraji

Ann. Pure Appl. Log., 2018

2017

Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories.

Saeed Salehi, Payam Seraji

J. Log. Comput., 2017

2016

Constructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness Theorem.

Saeed Salehi, Payam Seraji

CoRR, 2016

2015

Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories.

Saeed Salehi, Payam Seraji

CoRR, 2015