Skip to Main content Skip to Navigation
Conference papers

From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference

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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01539890
Contributor : Hal Ifip <>
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

File

978-3-642-32784-1_1_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

102

Files downloads

156