Michael Rathjen is professor for mathematical logic at Leeds.
Research grant Homotopical Inductive Types on higher inductive types
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:
On the regular extension axiom in CZF:
Last revised on June 18, 2024 at 05:51:32. See the history of this page for a list of all contributions to it.