Self-Reference and Diagonalization

June 8, 2010

S. Abramsky and J. Zvesper have uploaded

From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference

In section 4 ‘The Lawvere Fixpoint Lemma’ contains a ‘positive’ version of Cantor’s theorem.

Advertisements