In his 1963 published paper "A Logical Analysis of Some Value Concepts" he proves "Theorem 5" (originally by Alonzo Church), which later became famous in context of the knowability paradox.
In seinem 1963 veröffentlichten Aufsatz "A Logical Analysis of Some Value Concepts" beweist er "Theorem 5" (ursprünglich von Alonzo Church), welches später im Kontext des Paradoxes des möglichen Wissens berühmt wurde.