-
van den Berg, B., Bos, R. (2022) Logica Wiskunde D.Wiskunde D Online.
-
van den Berg, B., Briseid, E., Safarik, P. (2017) The strength of countable saturation.Archive for Mathematical Logic, Vol. 56 (pp 699-711)Article | https://doi.org/10.1007/s00153-017-0567-2 | UvA-DARE
-
van den Berg, B., Faber, E. (2022) Effective Kan fibrations in simplicial sets.Lecture Notes in Mathematics, Vol. 2321. Springer.
-
van den Berg, B., Geerligs, F. (2025) Examples and cofibrant generation of effective Kan fibrations.Journal of Pure and Applied Algebra, Vol. 229Article | https://doi.org/10.1016/j.jpaa.2024.107812 | 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)
-
van den Berg, B., Moerdijk, I. (2014) The axiom of multiple choice and models for constructive set theory.Journal of Mathematical Logic, Vol. 14Article | 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) 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., 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., Passmann, R. (2022) Converse extensionality and apartness.Logical Methods in Computer Science, Vol. 18Article | 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. 19Article | 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. 171Article | 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.Conference contribution | http://vis4dh.dbvis.de/papers/2018/A%20Philosophical%20Perspective%20on%20Visualization%20for%20Digital%20Humanities.pdf | UvA-DAREvan 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-DAREvan 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)
The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl