The following pages link to (Q4103079):
Displaying 17 items.
- Linear logic (Q579249) (← links)
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems (Q804570) (← links)
- Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
- Frege on sense identity (Q1236523) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- On paradoxes in normal form (Q2288281) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- The Henkin Sentence (Q3454817) (← links)
- A version of the ∑1-reflection principle for CFA provable in PRA (Q3866107) (← links)
- GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS (Q4984860) (← links)
- SELF-REFERENCE IN ARITHMETIC I (Q5176165) (← links)
- UNIVERSAL ROSSER PREDICATES (Q5738203) (← links)
- A NOTE ON DERIVABILITY CONDITIONS (Q5855755) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
