Dr. B. (Benno) van den Berg
Faculty of Science
ILLC
Visiting address
- Science Park 105
- Room number: F2.43
Postal address
-
Postbus 94242
1090 GE Amsterdam
Contact details
-
Publications
2022
- Figueroa, D., & van den Berg, B. (2022). A topos for continuous logic. Theory and Applications of Categories, 38, 1108–1135. Article 28. Advance online publication. http://www.tac.mta.ca/tac/volumes/38/28/38-28abs.html [details]
- van den Berg, B., & Faber, E. (2022). Effective Kan fibrations in simplicial sets. (Lecture Notes in Mathematics; Vol. 2321). Springer. https://doi.org/10.1007/978-3-031-18900-5 [details]
van den Berg, B., & Passmann, R. (2022). Converse extensionality and apartness. Logical Methods in Computer Science, 18(4), Article 13. Advance online publication. https://doi.org/10.46298/LMCS-18(4:13)2022, https://doi.org/10.48550/arXiv.2103.14482 [details]
2020
- van den Berg, B. (2020). Univalent polymorphism. Annals of Pure and Applied Logic, 171(6), Article 102793. Advance online publication. https://doi.org/10.1016/j.apal.2020.102793 [details]
2019
- Frumin, D., & van den Berg, B. (2019). A homotopy-theoretic model of function extensionality in the effective topos. Mathematical Structures in Computer Science, 29(4), 588-614. Advance online publication. https://doi.org/10.1017/S0960129518000142 [details]
- van den Berg, B. (2019). A Kuroda-style j-translation. Archive for Mathematical Logic, 58(5-6), 627–634. Advance online publication. https://doi.org/10.1007/s00153-018-0656-x [details]
- van den Berg, B., & Sanders, S. (2019). Reverse Mathematics and parameter-free Transfer. Annals of Pure and Applied Logic, 170(3), 273–296. Advance online publication. https://doi.org/10.1016/j.apal.2018.10.003 [details]
2018
- van den Berg, B. (2018). Path categories and propositional identity types. ACM Transactions on Computational Logic, 19(2), Article 15. https://doi.org/10.1145/3204492 [details]
- van den Berg, B., & Moerdijk, I. (2018). Exact completion of path categories and algebraic set theory: Part I: Exact completion of path categories. Journal of Pure and Applied Algebra, 222(10), 3137-3181. Advance online publication. https://doi.org/10.1016/j.jpaa.2017.11.017 [details]
- van den Berg, B., & Moerdijk, I. (2018). Univalent completion. Mathematische Annalen, 371(3-4), 1337–1350. Advance online publication. https://doi.org/10.1007/s00208-017-1614-3 [details]
- van den Berg, B., & van Slooten, L. (2018). Arithmetical conservation results. Indagationes Mathematicae, 29(1), 260-275. Advance online publication. https://doi.org/10.1016/j.indag.2017.07.009 [details]
2017
- Hadzihasanovic, A., & van den Berg, B. (2017). Nonstandard functional interpretations and categorical models. Notre Dame Journal of Formal Logic, 58(3), 343-380. https://doi.org/10.1215/00294527-3870348 [details]
- van den Berg, B. (2017). A note on equality in finite-type arithmetic. Mathematical Logic Quarterly, 63(3-4), 282-288. Advance online publication. https://doi.org/10.1002/malq.201600080 [details]
- van den Berg, B., Briseid, E., & Safarik, P. (2017). The strength of countable saturation. Archive for Mathematical Logic, 56(5-6), 699-711. Advance online publication. https://doi.org/10.1007/s00153-017-0567-2 [details]
2015
- van den Berg, B., & Moerdijk, I. (2015). W-types in homotopy type theory. Mathematical Structures in Computer Science, 25(5), 1100-1115. Advance online publication. https://doi.org/10.1017/S0960129514000516 [details]
2014
- van den Berg, B., & Heunen, C. (2014). Extending obstruction to noncommutative functorial spectra. Theory and Applications of Categories, 29, 457-474. Article 17. http://www.tac.mta.ca/tac/volumes/29/17/29-17abs.html [details]
- van den Berg, B., & Moerdijk, I. (2014). The axiom of multiple choice and models for constructive set theory. Journal of Mathematical Logic, 14(1), Article 1450005. https://doi.org/10.1142/S0219061314500056 [details]
2013
- van den Berg, B. (2013). The Herbrand topos. Mathematical Proceedings of the Cambridge Philosophical Society, 155(2), 361-374. Advance online publication. https://doi.org/10.1017/S0305004113000303 [details]
Prize / grant
- van den Berg, B. (2022). The Power of Equality.
Membership / relevant position
- van den Berg, B. (2023). PC member, Second International Conference on Homotopy Type Theory 2023, Pittsburgh.
- van den Berg, B. (2022-2025). Steering Committee TYPES.
- van den Berg, B. (2022-2024). NWO-Veni.
- van den Berg, B. (2021). Veni panel for mathematics., NWO.
- van den Berg, B. (2021-2025). Heyting Stichting.
- van den Berg, B. (2016). PC membership, TACL 2017, Prague.
Journal editor
- van den Berg, B. (editor) (2021-2022). Applied Categorical Structures (Journal).
- van den Berg, B. (editor) (2021-2025). Applied Categorical Structures (Journal).
- van den Berg, B. (editor) (2017-2022). The Bulletin of Symbolic Logic (Journal).
- van den Berg, B. (editor) (2017-2023). The Bulletin of Symbolic Logic (Journal).
Talk / presentation
- van den Berg, B. (speaker) (22-6-2023). Effective Kan fibrations, Masaryk University Brno.
- van den Berg, B. (speaker) (30-5-2023). Algebraic structures for modified realizability, Workshop on Doctrines and Fibrations, Padova.
- van den Berg, B. (speaker) (15-4-2023). Logica is cool!, Nationale wiskundedagen, Noordwijkerhout.
- van den Berg, B. (speaker) (13-11-2022). Converse extensionality and apartness, 4th Workshop on Proof Theory and its Applications and the 4th International Autumn School on Proof Theory, Utrecht.
- van den Berg, B. (speaker) (5-11-2022). Een is waar - Logica met de bovenbouw, University of Utrecht, SLO, nationaal expertisecentrum leerplanontwikkeling, Nederlandse Vereniging voor Wiskundeleraren.
- van den Berg, B. (speaker) (20-9-2022). Implicative algebras for modified realizability, CCC 2022: Continuity, Computability, Constructivity, Padova.
- van den Berg, B. (speaker) (31-8-2022). Converse extensionality and apartness, International Conference on Applied Proof Theory, Pescara.
- van den Berg, B. (speaker) (8-7-2021). Church's Thesis in Homotopy Type Theory, HaPoC special session at CiE 2021, Ghent.
- van den Berg, B. (speaker) (9-2-2021). Effective Kan fibrations in simplicial sets, Bohemian Logical & Philosophical Cafe.
- van den Berg, B. (speaker) (19-11-2020). A topos for continuous logic, Memorial Conference for Erik Palmgren, 1963-2019.
- van den Berg, B. (speaker) (12-11-2020). Converse extensionality and apartness, Oberwolfach Workshop on Mathematical Logic.
- van den Berg, B. (speaker) (9-10-2020). Quadratic type checking for objective type theory, Gothenburg Logic Seminar.
- van den Berg, B. (speaker) (20-12-2019). Homotopy Type Theory with Explicit Conversions, Foundations and applications of univalent mathematics, Herrsching.
- van den Berg, B. (speaker) (20-11-2019). Uniform Kan fibrations in simplicial sets, Homotopy Type Theory Electronic Seminar.
- van den Berg, B. (speaker) (6-11-2019). Uniform Kan fibrations in simplicial sets, University of Stockholm.
- van den Berg, B. (speaker) (30-10-2019). Propositielogica, Lang leve de logica!, Amsterdam.
- van den Berg, B. (speaker) (17-10-2019). Toposes for modified realizability, University of Cambridge, UK.
- van den Berg, B. (speaker) (15-8-2019). Uniform Kan fibrations in simplicial sets, Homotopy Type Theory 2019, Pittsburgh.
- van den Berg, B. (speaker) (8-7-2019). Uniform Kan fibrations in simplicial sets, Category Theory 2019, Edinburgh.
- van den Berg, B. (speaker) (2-7-2019). Toposes for modified realizability, Facets of realizability, cachan.
- van den Berg, B. (speaker) (28-8-2018). Univalent polymorphism, Utrecht topology feest, Utrecht.
- van den Berg, B. (speaker) (6-7-2018). Two observations on intuitionistic logic and arithmetic, HIM: Workshop: Proofs and Computation, Bonn.
- van den Berg, B. (speaker) (5-6-2018). Univalent polymorphism, HIM: Workshop: Types, Homotopy Type theory, and Verification, Bonn.
- van den Berg, B. (speaker) (30-5-2018). Path categories, 4th Workshop on Categorical Algebra, Gargnano.
- van den Berg, B. (speaker) (19-4-2018). Homotopy type theory with explicit conversions, Workshop on mixed inductive-coinductive reasoning.
- van den Berg, B. (speaker) (12-4-2018). Homotopy type theory with explicit conversions, International Workshop on Computational Approaches to the Foundations of Mathematics, Munich.
- van den Berg, B. (speaker) (13-1-2018). Constructieve taal, KWG Wintersymposium.
- van den Berg, B. (speaker) (9-3-2017). Arithmetical conservation results and Goodman's Theorem, Operations, Sets and Types, Bern.
- van den Berg, B. (speaker) (4-8-2016). Homotopy type theory via path categories, Logic Colloquium Leeds 2016.
Others
- van den Berg, B. (examiner) (25-10-2023). PhD defense Ned Wontner (examination).
- van den Berg, B. (examiner) (13-9-2023). PhD defense (viva) of Sam Speight (examination).
- van den Berg, B. (examiner) (15-5-2023). PhD defense Robert Passmann (examination).
- van den Berg, B. (organiser) (11-5-2023 - 12-5-2023). The Strength of Weak Type Theory, Amsterdam (organising a conference, workshop, ...).
- van den Berg, B. (examiner) (9-12-2022). PhD defense Jonathan Weinberger (examination).
- van den Berg, B. (examiner) (1-9-2022). PhD defense Marlou Gijzen (examination).
- van den Berg, B. (examiner) (11-7-2022). MSc defense Virgile Constantin (examination).
- van den Berg, B. (organiser) (2-6-2022). Heyting Day 2022, Amsterdam (organising a conference, workshop, ...).
- van den Berg, B. (examiner) (30-5-2022). PhD defense Jetze Zoethout (examination).
- van den Berg, B. (examiner) (15-5-2022). PhD defense Cipriano Cioffo (examination).
- van den Berg, B. (organiser) (2-5-2022). Informal workshop on Algebraic Weak Factorisation Systems, Amsterdam (organising a conference, workshop, ...).
- van den Berg, B. (participant) (27-10-2021). Dutch Categories and Types Seminar, Amsterdam (organising a conference, workshop, ...).
- van den Berg, B. (examiner) (1-9-2021). PhD defense (examination).
- van den Berg, B. (examiner) (8-12-2020). PhD defense (examination).
- van den Berg, B. (participant) (6-3-2020). Anne Troelstra Memorial Event 2020, Amsterdam (organising a conference, workshop, ...).
- van den Berg, B. (other) (1-1-2020 - 1-1-2023). EC Master of Logic (other).
- van den Berg, B. (other) (1-1-2020 - 1-8-2020). OC Wiskunde (other).
- van den Berg, B. (participant) (28-3-2019). Leve de Logica!, Amsterdam (organising a conference, workshop, ...).
- van den Berg, B. (other) (1-9-2013 - 31-12-2019). OC Wiskunde (other).
This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list. -
Ancillary activities
- No ancillary activities
van den Berg, B., & Passmann, R. (2022). Converse extensionality and apartness. Logical Methods in Computer Science, 18(4), Article 13. Advance online publication.