"A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points" (Noson S. Yanofsky)

ヒビルテ経由、ここからダウンロード。先々週に8割読んでいて、残り数ページを本日やっと読了。
LawvereやHuwig-Poigne' の結果（各種の対角線論法を圏論の言葉で書き直し一般化する）を、圏論の言葉を使わずに紹介したもの。圏論の用語を使わずに同じ形のダイアグラムをなす事を示す。Parikh文やLobのパラドックスに関する話はためになりました。啓発的でおすすめです。