Benedikt Löwe

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

External links

• Home page University of Amsterdam
• Benedikt Löwe at the Mathematics Genealogy Project