Pages that link to "Item:Q3227564"

The following pages link to Solution of a problem of Leon Henkin (Q3227564):

Displaying 13 items.

• Cut elimination for GLS using the terminability of its regress process (Q288243) (← links)
• Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
• The medieval theory of consequence (Q383066) (← links)
• Conventionalism, consistency, and consistency sentences (Q514102) (← links)
• Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← 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)
• Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
• Transductions in arithmetic (Q904144) (← links)
• Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
• Automated search for Gödel's proofs (Q1772785) (← links)
• The knower paradox in the light of provability interpretations of modal logic (Q1778104) (← links)