10 citations · 52 across the 24 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019
Sometime a Paradox, Now Proof: Non-First-Order-izability of Yablo's Paradox
Saeed Salehi
Paradoxes are interesting puzzles in philosophy and mathematics, and they could be even more fascinating, when turned into proofs and theorems. For example, Liar's paradox can be t…
math.LO2019
On the Notions of Rudimentarity, Primitive Recursivity and Representability of Functions and Relations
Saeed Salehi
It is quite well-known from Kurt Godel's (1931) ground-breaking result on the Incompleteness Theorem that rudimentary relations (i.e., those definable by bounded formulae) are prim…