Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories. - Saeed Salehi; Payam Seraji (CoRR, 2015)

Constructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness Theorem. - Saeed Salehi; Payam Seraji (CoRR, 2016)

Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories. - Saeed Salehi; Payam Seraji (J. Log. Comput., 2017)

On constructivity and the Rosser property: a closer look at some Gödelean proofs. - Saeed Salehi; Payam Seraji (Ann. Pure Appl. Log., 2018)

Gödel's second incompleteness theorem for Σ n -definable theories. - Conden Chao; Payam Seraji (Log. J. IGPL, 2018)