The following pages link to Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285):
Displayed 1 item.