The following pages link to The Henkin Sentence (Q3454817):
Displayed 6 items.
- Transductions in arithmetic (Q904144) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Paradoxical hypodoxes (Q2052643) (← links)
- A Fortuitous Year with Leon Henkin (Q3454802) (← links)
- Further Reflections on Sentences Saying of Themselves Strange Things (Q4565830) (← links)
- Solutions to the knower paradox in the light of Haack's criteria (Q6166128) (← links)