Derivability conditions for Robinson arithmetic

2010-09-15T21:15:29Z

Two pieces of hearsay I have encountered about Robinson's Q:

Q fails to satisfy the Löb derivability conditions;
Pudlák criticised the Löb derivability conditions and suggested rival, weaker conditions.

Which leads to three questions, if the above are right:

Which derivability condition(s) does Q not satisfy;
What were Pudlák's rival conditions and what was his complaint with the Löb conditions; and
Does Q satisfy the rival conditions?

These questions arose from Carl Mummert's answer to a math.sx question of mine, Can Robinson's Q prove Presburger arithmetic consistent?.

Answer by Kaveh for Derivability conditions for Robinson arithmetic

2010-09-16T04:14:19Z

I am not sure if this answers your question, but it was at least too long for a comment.

First, note than one can interpret Sam Buss's bounded arithmetic theories like $S^1_2$ in $Q$, so it is not as weak as it seems at first sight in expressing and proving theorems. One can use a reasonable formula to exclude those non-standard numbers which are too pathological and prove consistency of $L$ (if $S^1_2$ proves consistency of $L$).

I am not sure but you might find Pudlak's criticism in the last part of Hajek and Pudlak, and his alternative condition that you are looking for might be "sequential theory". Also take a look at this article which cites the Bezboruah et al. 1976 paper.

(By the way, Bezboruah et al. (1976) seems to be a decade before Nelson's Predicative Arithmetic (1986) which shows that one can interpret $I\Delta_0$ in Q.)

Derivability conditions for Robinson arithmetic - MathOverflow

Derivability conditions for Robinson arithmetic

Answer by Kaveh for Derivability conditions for Robinson arithmetic