Payam Seraji

Identifiers

• name variant Payam Seraji 0.60 · backfill

Papers (2)

1. Godel's Second Incompleteness Theorem for Definable Theories math.LO · 2016 · author #1
2. Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories math.LO · 2015 · author #2

Mentions

• 1506.02790 #2 · backfill · confidence 0.70 Payam Seraji

Frequent Coauthors

• Conden Chao 1 shared papers
• Saeed Salehi 1 shared papers