Education
Jensen completed the Bachelor in economics at American University in 1959, and a Doctor of Philosophy in mathematics at the University of Bonn in 1964.
mathematician philosopher university professor
Jensen completed the Bachelor in economics at American University in 1959, and a Doctor of Philosophy in mathematics at the University of Bonn in 1964.
His supervisor was Gisbert Hasenjaeger. Jensen taught at Rockefeller University, 1969-1971, and the University of California, Berkeley, 1971-1973. The balance of his academic career was spent in Europe at the University of Bonn, the University of Oslo, the University of Freiburg, the University of Oxford, and the Humboldt-Universität zu Berlin, from which he retired in 2001.
He now resides in Berlin.
In 2015 the European Secretariat Theory Society awarded him and John R. Steel the Hausdorff medal for their paper "K without a measurable". Jensen"s better-known results include the:
Axiomatic set theory NFU, a variant of New Foundations (Newfoundland) where extensionality is weakened to allow several sets with no elements, and the proof of NFU"s consistency relative to Peano arithmetic;
Definitions and proofs of various infinitary combinatorial principles in L, including diamond, square, and morass;
Jensen"s covering theorem for L;
General theory of core models and the construction of the Dodd–Jensen core model;
Consistency of Companies of Honour plus Suslin"s hypothesis.
Technique of coding the universe by a realium
