Abstract : 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.
https://hal.inria.fr/hal-01539890 Contributor : Hal IfipConnect in order to contact the contributor Submitted on : Thursday, June 15, 2017 - 3:02:50 PM Last modification on : Thursday, June 15, 2017 - 3:25:49 PM Long-term archiving on: : Wednesday, December 13, 2017 - 12:53:28 PM
Samson Abramsky, Jonathan Zvesper. From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.1-19, ⟨10.1007/978-3-642-32784-1_1⟩. ⟨hal-01539890⟩