User:Ergriffor/sandbox

Edward Ronald Griffor is the Chief Scientist of Chrysler Group LLC and Professor of Medicine at the Wayne State University who works in electrical and electronics engineering.

Griffor has been Professor of Mathematics at The University of Oslo in Norway and Uppsala University in SWEDEN and formulated with Eric Palmgren Higher Order Universes for Martin Loef Type Theory, which formalizes constructive versions of set-theoretic reflection principles. They showed that the Bi-interpretability Conjecture is equivalent to there being no nontrivial automorphism of the Turing degrees. They also exhibited limits on the possible automorphisms of the Turing degrees by showing that any automorphism will be arithmetically definable.