The following pages link to Faith \& falsity (Q705533):
Displayed 7 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)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- No escape from Vardanyan's theorem (Q2501168) (← links)
- Predicate Logics of Constructive Arithmetical Theories (Q3416116) (← links)
- MINIMAL TRUTH AND INTERPRETABILITY (Q5850988) (← links)