Pages that link to "Item:Q5950714"
From MaRDI portal
The following pages link to On Herbrand consistency in weak arithmetic (Q5950714):
Displaying 15 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)
- Well-behaved principles alternative to bounded induction (Q1885028) (← links)
- Herbrand consistency of some finite fragments of bounded arithmetical theories (Q2377353) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- Herbrand consistency and bounded arithmetic (Q2773372) (← links)
- Separating bounded arithmetical theories by Herbrand consistency (Q2893322) (← links)
- Herbrand consistency of some arithmetical theories (Q2915894) (← links)
- Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics (Q3083669) (← links)
- On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency (Q3416110) (← links)
- How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q (Q4532626) (← links)
- The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (Q4917999) (← links)
- The strength of replacement in weak arithmetic (Q5277762) (← 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)
