Pages that link to "Item:Q688510"

The following pages link to The unprovability of small inconsistency. A study of local and global interpretability (Q688510):

Displayed 17 items.

• Faith \& falsity (Q705533) ‎ (← links)
• 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)
• Transductions in arithmetic (Q904144) ‎ (← links)
• Pairs, sets and sequences in first-order theories (Q943342) ‎ (← links)
• Friedman-reflexivity (Q2159935) ‎ (← links)
• The arithmetics of a theory (Q2345393) ‎ (← links)
• Interpretability degrees of finitely axiomatized sequential theories (Q2436609) ‎ (← links)
• Sufficient conditions for cut elimination with complexity analysis (Q2461191) ‎ (← links)
• A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) ‎ (← links)
• No escape from Vardanyan's theorem (Q2501168) ‎ (← links)
• The role of quantifier alternations in cut elimination (Q2565988) ‎ (← links)
• The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (Q4917999) ‎ (← links)
• The small‐is‐very‐small principle (Q5108874) ‎ (← links)
• The Interpretation Existence Lemma (Q5214783) ‎ (← links)
• Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) ‎ (← links)
• Rules and arithmetics (Q5937848) ‎ (← links)