nLab Michael Rathjen

Michael Rathjen is professor for mathematical logic at Leeds.

• webpage

• Research grant Homotopical Inductive Types on higher inductive types

Selected writings

On constructive set theory:

• Peter Aczel, Michael Rathjen, Notes on Constructive Set theory, 2001 (pdf, pdf)

On constructible universes in constructive set theory:

• Richard Matthews, Michael Rathjen, Constructing the Constructible Universe Constructively, Annals of Pure and Applied Logic, Volume 175, Issue 3, March 2024. [doi:10.1016/j.apal.2023.103392, arxiv:2206.08283]

On Lifschitz realizability:

• Michael Rathjen, Andrew Swan, Lifschitz Realizability as a Topological Construction. The Journal of Symbolic Logic, Volume 85, Issue 4, December 2020, pp. 1342 - 1375. [doi:10.1017/jsl.2021.1, arXiv:1806.10047]

• Ray-Ming Chen?, Michael Rathjen, Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory. Archive for Mathematical Logic, Volume 51, pages 789–818, (2012). [doi:10.1007/s00153-012-0299-2, pdf]

On the limited principle of omniscience in CZF:

• Michael Rathjen, Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience. [arXiv:1302.3037]

On the regular extension axiom in CZF:

• Michael Rathjen and Robert Lubarsky, On the regular extension axiom and its variants, PDF

Related entries

• constructive set theory

• axiom of multiple choice

• type of types

• WISC

• regular extension axiom

• small violations of choice

• countable ordinal

• presentation axiom

• higher inductive type

• taboo

category: people