Benedikt Löwe

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
Benedikt Löwe
Born 1972
Fields Mathematics, Logic
Alma mater Humboldt University of Berlin
Doctoral advisor Ronald Jensen, Donald Anthony Martin
Doctoral students Stefan Bold
Ioanna M. Dimitriou H.
Daisuke Ikegami
Yurii Khomskii
Eva Müller-Hill
Brian Semmes
Sara L. Uckelman
Known for Descriptive Set Theory

Benedikt Löwe (born 1972) is a German mathematician and logician, and Professor at the University of Hamburg, known for initiating the interdisciplinary conference "Foundations of the Formal Sciences" (FotFS) in 1999.[1][2]

Löwe received his BA in mathematics and philosophy at the University of Hamburg and continued his studies at the University of Tübingen, the University of Berlin and Berkeley. In 2001 he completed his PhD entitled Blackwell Determinacy about determinacy under supervision of Donald A. Martin and Ronald Björn Jensen. Since early 2000 he is Assistant Professor at the University of Amsterdam, and since late 2000s also Professor at the University of Hamburg. He is managing editor of the journal Mathematical Logic Quarterly.[3] and the journal Computability, and editor at the journals Journal of Logic, Language and Information and Tbilisi Mathematical Journal.

Publications

Books, a selection:

  • 2006. Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 – July 5, 2006; proceedings. Edited with Arnold Beckmann, Ulrich Berger and John V. Tucker.
  • 2008. Games, scales, and Suslin cardinals. With Alexander S. Kechris and John R. Steel. Cambridge : Cambridge University
  • 2008. Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15 – 20, 2008; proceedings. Edited with Arnold Beckmann and Costas Dimitracopoulos. Berlin ; Heidelberg [u.a.] : Springer
  • 2011. Wadge Degrees and Projective Ordinals The Cabal Seminar Volume II. With Alexander S. Kechris and John R. Steel.

References

  1. "Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences. Accessed May 19, 2013
  2. Benedikt Lowe, Boris Piwinger, Thoralf Räsch eds. (2005) Classical and New Paradigms of Computation and Their Complexity Hierarchies: Papers of the Conference "Foundations of the Formal Sciences III". Springer.
  3. MLQ website

External links


<templatestyles src="Asbox/styles.css"></templatestyles>