11-100 Daniil Teplitskiy

On the scope of diagonal argument and on contradictory equivalence (285K, pdf) Jun 24, 11

Abstract , Paper (src), View paper (auto. generated pdf), Index of related papers

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.

Files: 11-100.src( 11-100.keywords , MathLogic_Foundations_DiagonalArgumentScope_20110624.pdf.mm )