van den Berg, B., Faber, E. (2022) Effective Kan fibrations in simplicial sets.

Lecture Notes in Mathematics, Vol. 2321. Springer.

Book | https://doi.org/10.1007/978-3-031-18900-5 | UvA-DARE

van den Berg, B., Heunen, C. (2014) Extending obstruction to noncommutative functorial spectra.

Theory and Applications of Categories, Vol. 29 (pp 457-474)

Article | http://www.tac.mta.ca/tac/volumes/29/17/29-17abs.html | UvA-DARE

van den Berg, B., Moerdijk, I. (2014) The axiom of multiple choice and models for constructive set theory.

Journal of Mathematical Logic, Vol. 14

Article | https://doi.org/10.1142/S0219061314500056 | UvA-DARE

van den Berg, B., Moerdijk, I. (2015) W-types in homotopy type theory.

Mathematical Structures in Computer Science, Vol. 25 (pp 1100-1115)

Article | https://doi.org/10.1017/S0960129514000516 | UvA-DARE

van den Berg, B., Moerdijk, I. (2018) Univalent completion.

Mathematische Annalen, Vol. 371 (pp 1337–1350)

Article | https://doi.org/10.1007/s00208-017-1614-3 | UvA-DARE

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, Vol. 222 (pp 3137-3181)

Article | https://doi.org/10.1016/j.jpaa.2017.11.017 | UvA-DARE

van den Berg, B., Passmann, R. (2022) Converse extensionality and apartness.

Logical Methods in Computer Science, Vol. 18

Article | https://doi.org/10.46298/LMCS-18(4:13)2022 | UvA-DARE

van den Berg, B., Sanders, S. (2019) Reverse Mathematics and parameter-free Transfer.

Annals of Pure and Applied Logic, Vol. 170 (pp 273–296)

Article | https://doi.org/10.1016/j.apal.2018.10.003 | UvA-DARE

van den Berg, B., van Slooten, L. (2018) Arithmetical conservation results.

Indagationes Mathematicae, Vol. 29 (pp 260-275)

Article | https://doi.org/10.1016/j.indag.2017.07.009 | UvA-DARE

van den Berg, B. (2013) The Herbrand topos.

Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 155 (pp 361-374)

Article | https://doi.org/10.1017/S0305004113000303 | UvA-DARE

van den Berg, B. (2017) A note on equality in finite-type arithmetic.

Mathematical Logic Quarterly, Vol. 63 (pp 282-288)

Article | https://doi.org/10.1002/malq.201600080 | UvA-DARE

van den Berg, B. (2018) Path categories and propositional identity types.

ACM Transactions on Computational Logic, Vol. 19

Article | https://doi.org/10.1145/3204492 | UvA-DARE

van den Berg, B. (2019) A Kuroda-style j-translation.

Archive for Mathematical Logic, Vol. 58 (pp 627–634)

Article | https://doi.org/10.1007/s00153-018-0656-x | UvA-DARE

van den Berg, B. (2020) Univalent polymorphism.

Annals of Pure and Applied Logic, Vol. 171

Article | https://doi.org/10.1016/j.apal.2020.102793 | UvA-DARE

van den Berg, H., Betti, A., Castermans, T., Koopman, R., Speckmann, B., Verbeek, K., van der Werf, T., Wang, S., Westenberg, M.A. (2018) A Philosophical Perspective on Visualization for Digital Humanities.

In 3rd Workshop on Visualization for the Digital Humanities: Sunday, 21 October 2018 - Berlin, Germany : accepted papers . VIS4DH.

van den Berg, H., Demarest, B. (2020) Axiomatic Natural Philosophy and the Emergence of Biology as a Science.

Journal of the History of Biology, Vol. 53 (pp 379-422)

Article | https://doi.org/10.1007/s10739-020-09609-2 | UvA-DARE

van den Berg, H., Demarest, B. (2024) Induction and Certainty in the Physics of Wolff and Crusius.

British Journal for the History of Philosophy, Vol. 32 (pp 1052-1073)

Article | https://doi.org/10.1080/09608788.2023.2291031 | UvA-DARE

van den Berg, H., Parra, G., Jentzsch, A., Drakos, A., Duval, E. (2014) Studying the history of philosophical ideas: supporting research discovery, navigation, and awareness.

In Proceedings of the 14th International Conference on Knowledge Technologies and Data-driven Business: i-KNOW '14 : Graz, Austria, September 16-19, 2014 . Association for Computing Machinery.

van den Berg, H. (2013) The Wolffian Roots of Kant's Teleology.

Studies in History and Philosophy of Biological and Biomedical Sciences, Vol. 44 (pp 724-734)

Article | https://doi.org/10.1016/j.shpsc.2013.07.003 | UvA-DARE

van den Berg, H. (2016) [Review of: B.W. Hall (2015) The post-critical Kant: understanding the critical philosophy through the Opus postumum].

Kantian Review, Vol. 21 (pp 329-333)

Book/Film/Article/Exhibition review | https://doi.org/10.1017/S1369415416000133 | UvA-DARE