The following pages link to Faith \& falsity (Q705533):
Displaying 25 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)
- 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)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- No escape from Vardanyan's theorem (Q2501168) (← links)
- Extension and interpretability (Q2658276) (← links)
- Turing Jumps Through Provability (Q3195699) (← links)
- Predicate Logics of Constructive Arithmetical Theories (Q3416116) (← links)
- The Henkin Sentence (Q3454817) (← links)
- PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089) (← links)
- The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (Q4917999) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) (← links)
- The small‐is‐very‐small principle (Q5108874) (← links)
- SELF-REFERENCE IN ARITHMETIC I (Q5176165) (← 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)
- MINIMAL TRUTH AND INTERPRETABILITY (Q5850988) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)
- Some observations on the FGH theorem (Q6057622) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
- Pour-El's landscape (Q6670877) (← links)
