10 citations · 52 across the 24 of their papers we have counts for
Showing 2015 · math.LOShow all
2 papers · 2 filters
math.LO2015
Theorems of Tarski's Undefinability and Godel's Second Incompleteness-Computationally
Saeed Salehi
We present a version of Gödel's Second Incompleteness Theorem for recursively enumerable consistent extensions of a fixed axiomatizable theory, by incorporating some bi-theoretic v…
math.LO2015★ 10 cited
Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories
Saeed Salehi, Payam Seraji
Godel's First Incompleteness Theorem is generalized to definable theories, which are not necessarily recursively enumerable, by using a couple of syntactic-semantic notions, one is…