Expositions

Elements of Bayesian Decision Theory (e-book)

An introduction to classical subjective decision and probability theory including the works of Ramsey, von Neumann &  Morgenstern, Anscombe & Aumann, and Savage.

Incompleteness Results and Provability Logic

This note reflects early developments of provability logic. It includes an exposition on Gödel’s incompleteness results, the Löb theorem, and the arithmetical completeness theorems of Solovay.