Michael Rathjen is professor for mathematical logic at Leeds.
webpage
Research grant Homotopical Inductive Types on higher inductive types
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
Last revised on July 21, 2015 at 10:47:45. See the history of this page for a list of all contributions to it.