Search results
Results: 23
Number of items: 23
-
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. https://doi.org/10.1017/S0960129518000142
-
van den Berg, B. (2019). A Kuroda-style j-translation. Archive for Mathematical Logic, 58(5-6), 627–634. https://doi.org/10.1007/s00153-018-0656-x -
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
Page 2 of 3