The following pages link to (Q4885911):
Displaying 10 items.
- The paradox of the knower revisited (Q392283) (← 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)
- Further oracles separating conjectures about incompleteness in the finite domain (Q2210516) (← links)
- An oracle separating conjectures about incompleteness in the finite domain (Q2290649) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- Propositional proof systems and fast consistency provers (Q2469433) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (Q4917999) (← links)
- P-Optimal Proof Systems for Each NP-Set but no Complete Disjoint NP-Pairs Relative to an Oracle (Q5092409) (← links)
