Pages that link to "Item:Q1896613"
From MaRDI portal
The following pages link to Unprovability of consistency statements in fragments of bounded arithmetic (Q1896613):
Displaying 9 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)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- Proving consistency of equational theories in bounded arithmetic (Q4532615) (← links)
- CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC (Q4692080) (← links)
- The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (Q4917999) (← links)
- On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories (Q5480630) (← links)
- An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency (Q5486248) (← links)
- A model of \(\widehat{R}^2_3\) inside a subexponential time resource (Q5937822) (← links)
