The following pages link to A note on bounded arithmetic (Q3360848):
Displaying 5 items.
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- Unprovability of consistency statements in fragments of bounded arithmetic (Q1896613) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- INCOMPLETENESS IN THE FINITE DOMAIN (Q4640304) (← links)
- CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC (Q4692080) (← links)
