From Lawvere to Brandenburger–Keisler: Interactive forms of diagonalization and self-reference

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 01, 2015
Source ID
10.1016/j.jcss.2014.12.001

Entities

People

  • Jonathan Zvesper
  • Samson Abramsky

Organizations

  • Engineering and Physical Sciences Research Council
  • Office of Naval Research