activity
20102022
most citedGodel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories

10 citations · 52 across the 24 of their papers we have counts for

collaborators
Showing 2011 · math.LOShow all

1 paper · 2 filters

math.LO2011★ 1 cited

Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories

Saeed Salehi

We formalize the notion of Herbrand Consistency in an appropriate way for bounded arithmetics, and show the existence of a finite fragment of whose Herbrand Consistenc…