Affiliated Lecturer.
Professor Benedikt Löwe is a Fellow at Churchill College, a Bye-Fellow at Lucy Cavendish College and St Edmund's College, a Postgraduate Tutor at Churchill College, a Director of Studies for Mathematics at Lucy Cavendish & St Edmund's College, and an Affiliated Lecturer of DPMMS. He is the Subject Advisor for Foundations in Part III; in the academical year 2024-25, he lectures Automata & Formal Languages (Part II, Michaelmas 2024) and Forcing and the Continuum Hypothesis (Part III, Lent 2025).
He is also affiliated with the Fachbereich Mathematik at the Universität Hamburg.
Research Interests: Mathematical Logic, Set Theory, Philosophy of Mathematics.
Publications
The Bolzano-Weierstrass theorem in generalised analysis
– Houston Journal of Mathematics
(2018)
44,
1081
Koepke machines and satisfiability for infinitary propositional languages
– UNVEILING DYNAMICS AND COMPLEXITY, CIE 2017
(2017)
10307,
187
(doi: 10.1007/978-3-319-58741-7_19)
Turing Centenary Conference: How the World Computes
– Ann. Pure Appl. Log.
(2014)
165,
1353
(doi: 10.1016/j.apal.2014.04.007)
Computability in Europe 2010
– Annals of Pure and Applied Logic
(2012)
163,
621
(doi: 10.1016/j.apal.2011.10.005)
- <
- 2 of 2