Daniil Teplitskiy
On the scope of diagonal argument and on contradictory 
equivalence
(285K, pdf)

ABSTRACT.  Restriction on the scope of diagonal argument will be set using two absolutely different proof 
techniques. One of the proof techniques will analyze contradictory equivalence (R R R ∉ R) in 
a rather unconventional way.