arXiv:1006.0992 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords interactive forms, diagonalization, self-reference, assumption complete models, epistemic game theory Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset