dhr. dr. B. (Benno) van den Berg
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
Bezoekadres
- Science Park 105
- Kamernummer: F2.43
Postadres
- Postbus 94242
1090 GE Amsterdam
Contactgegevens
-
Publicaties
2019
- van den Berg, B. (2019). A Kuroda-style j-translation. Archive for Mathematical Logic, 58(5-6), 627–634.
- van den Berg, B., & Frumin, D. (2019). A homotopy-theoretic model of function extensionality in the effective topos. Mathematical Structures in Computer Science, 29(4), 588-614.
- van den Berg, B., & Sanders, S. (2019). Reverse Mathematics and parameter-free Transfer. Annals of Pure and Applied Logic, 170(3), 273–296.
2018
- van den Berg, B. (2018). Path categories and propositional identity types. ACM Transactions on Computational Logic, 19(2), [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. 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. 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. 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. 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. 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. 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. [17]. [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), [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. https://doi.org/10.1017/S0305004113000303 [details]
Lidmaatschap
- van den Berg, B. (2016). PC membership, TACL 2017, Prague, Czech Republic.
Spreker
- van den Berg, B. (speaker) (20-12-2019). Homotopy Type Theory with Explicit Conversions, Foundations and applications of univalent mathematics, Herrsching, Germany.
- 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, Netherlands.
- 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, United States.
- van den Berg, B. (speaker) (8-7-2019). Uniform Kan fibrations in simplicial sets, Category Theory 2019, Edinburgh, United Kingdom.
- van den Berg, B. (speaker) (2-7-2019). Toposes for modified realizability, Facets of realizability, cachan, France.
- 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, Switzerland.
- van den Berg, B. (speaker) (4-8-2016). Homotopy type theory via path categories, Logic Colloquium Leeds 2016.
Andere
- van den Berg, B. (participant) (28-3-2019). Leve de Logica!, Amsterdam, Netherlands (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. -
Nevenwerkzaamheden
- Geen nevenwerkzaamheden
van den Berg, B., & Moerdijk, I. (2018). Univalent completion. Mathematische Annalen, 371(3-4), 1337–1350.