4

Questions
votes newest views recent
2
4
votes
1
answer
182
views

Rosserized proof-predicates and the derivability conditions.

apr 10 at 9:01 Peter Smith 643●3●11

 
15
votes
1
answer
369
views

Mendelson’s *Mathematical Logic* and the missing Appendix on the consistency of PA

feb 15 at 18:40 Peter Smith 643●3●11

2
4
votes
2
answers
276
views

When are provability predicates provably equivalent?

jul 10 at 11:39 Emil Jeřábek 10.7k●1●24●41

1
12
votes
2
answers
467
views

Are there any natural recursively but not primitive-recursively axiomatized theories?

jul 4 at 17:32 Ali Enayat 4,459●1●9●23