Pages that link to "Item:Q3310622"
From MaRDI portal
The following pages link to A note on the undefinability of cuts (Q3310622):
Displaying 8 items.
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
- On the scheme of induction for bounded arithmetic formulas (Q1104318) (← links)
- The formalization of interpretability (Q1176098) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- The arithmetic of cuts in models of arithmetic (Q2856636) (← links)
- TRUTH AND SPEED-UP (Q2940877) (← links)
- A note on proofs of falsehood (Q3770530) (← links)
