nLab Michael Rathjen

Michael Rathjen is professor for mathematical logic at Leeds.

Selected writings

On constructive set theory:

On constructible universes:

On Lifschitz realizability:

On the limited principle of omniscience in CZF:

On the regular extension axiom in CZF:

category: people

Last revised on June 18, 2024 at 05:51:32. See the history of this page for a list of all contributions to it.