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
Modal and Intermediate Logics of Spiked Boolean Algebras
– LOGIC AND ITS APPLICATIONS, ICLA 2025
(2025)
15402,
164
(doi: 10.1007/978-3-031-89610-1_12)
The modal logic of abelian groups
– Algebra universalis
(2023)
84,
25
(doi: 10.1007/s00012-023-00821-9)
Symmetry for Transfinite Computability
– Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics
(2023)
13967 LNCS,
65
(doi: 10.1007/978-3-031-36978-0_6)
Measuring the Agreement of Mathematical Peer Reviewers
– Axiomathes
(2022)
32,
1205
(doi: 10.1007/s10516-022-09647-x)
ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC
– Bulletin of Symbolic Logic
(2022)
28,
182
(doi: 10.1017/bsl.2021.48)
Enabling mathematical cultures: introduction
– Synthese
(2021)
198,
6225
(doi: 10.1007/s11229-020-02858-y)
Constructing illoyal algebra-valued models of set theory
– Algebra universalis
(2021)
82,
46
(doi: 10.1007/s00012-021-00735-4)
Methodological Triangulation in Empirical Philosophy (of Mathematics)
(2019)
15
Inhabitants of interesting subsets of the Bousfield lattice
– Journal of Pure and Applied Algebra
(2018)
222,
2292
(doi: 10.1016/j.jpaa.2017.09.012)
A multiplication operation for the hierarchy of norms
– Annals of Pure and Applied Logic
(2018)
169,
656
(doi: 10.1016/j.apal.2018.03.003)
- 1 of 2