The following pages link to A note on proofs of falsehood (Q3770530):
Displayed 14 items.
- The unprovability of small inconsistency. A study of local and global interpretability (Q688510) (← links)
- 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)
- Friedman-reflexivity (Q2159935) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- Extension and interpretability (Q2658276) (← links)
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles (Q2747704) (← 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)