%0 Conference Proceedings
%T From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference
%+ Department of Computer Science [Oxford]
%A Abramsky, Samson
%A Zvesper, Jonathan
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
%C Tallinn, Estonia
%Y Dirk Pattinson
%Y Lutz Schröder
%I Springer
%3 Coalgebraic Methods in Computer Science
%V LNCS-7399
%P 1-19
%8 2012-03-31
%D 2012
%R 10.1007/978-3-642-32784-1_1
%Z Computer Science [cs]Conference papers
%X Diagonal arguments lie at the root of many fundamental phenomena in the foundations of logic and mathematics. Recently, a striking form of diagonal argument has appeared in the foundations of epistemic game theory, in a paper by Adam Brandenburger and H. Jerome Keisler [11]. The core Brandenburger-Keisler result can be seen, as they observe, as a two-person or interactive version of Russell’s Paradox.
%G English
%2 https://inria.hal.science/hal-01539890/document
%2 https://inria.hal.science/hal-01539890/file/978-3-642-32784-1_1_Chapter.pdf
%L hal-01539890
%U https://inria.hal.science/hal-01539890
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-CMCS
%~ IFIP-LNCS-7399
%~ IFIP-ETAPS