Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set ...

The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using ...

This course is available on the MSc in Economics and Philosophy, MSc in Philosophy of Science and MSc in Philosophy of the Social Sciences. This course is available as an outside option to students on ...

This post was updated Aug. 31 at 7:59 p.m. Warning: Spoilers for R.F. Kuang’s “Katabasis” ahead. “Katabasis” is an intriguing book for academics but possibly a challenging journey for casual readers.

This course is available on the BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, Politics and Economics and BSc in Politics and Philosophy. This ...