Saeed Salehi

Identifiers

• name variant Saeed Salehi 0.60 · backfill

Papers (11)

1. Formalizing the Binding Problem cs.CV · 2026 · author #3
2. On Chaitin's Heuristic Principle and Halting Probability math.LO · 2023 · author #1
3. On Decidability of the Ordered Structures of Numbers math.LO · 2017 · author #2
4. Kripke Semantics for Fuzzy Logics math.LO · 2016 · author #2
5. On Arithmetical Truth of the Self-Referential Sentences math.LO · 2016 · author #2
6. Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories math.LO · 2015 · author #1
7. Diagonalizing by Fixed-Points math.LO · 2013 · author #2
8. Godel's Incompleteness Phenomenon - Computationally math.LO · 2012 · author #1
9. Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories math.LO · 2011 · author #1
10. Separating Bounded Arithmetics by Herbrand Consistency math.LO · 2010 · author #1
11. Herbrand Consistency of Some Arithmetical Theories math.LO · 2010 · author #1

Mentions

• 1506.02790 #1 · backfill · confidence 0.70 Saeed Salehi
• 2606.03976 #3 · arxiv_oai · confidence 0.70 Saeed Salehi
• 1303.0730 #2 · backfill · confidence 0.70 Saeed Salehi
• 1211.7308 #1 · backfill · confidence 0.70 Saeed Salehi
• 1110.1848 #1 · backfill · confidence 0.70 Saeed Salehi
• 1008.0225 #1 · backfill · confidence 0.70 Saeed Salehi
• 1005.2654 #1 · backfill · confidence 0.70 Saeed Salehi

Frequent Coauthors

• Ahmad Karimi 1 shared papers
• Ansh Soni 1 shared papers
• Kaave Lajevardi 1 shared papers
• Konrad P. Kording 1 shared papers
• Lianghuan Huang 1 shared papers
• Parvin Safari 1 shared papers
• Payam Seraji 1 shared papers
• Yihao Li 1 shared papers
• Yingshan Chang 1 shared papers
• Ziba Assadi 1 shared papers