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:

category: people

Last revised on January 29, 2024 at 16:29:55. See the history of this page for a list of all contributions to it.