Edit Profile (opens in new tab) Van den Berg, Benno Co-Author Distance Author ID: van-den-berg.benno Published as: van den Berg, Benno Homepage: https://staff.fnwi.uva.nl/b.vandenberg3/ External Links: MGP · ORCID · Google Scholar · dblp · GND Documents Indexed: 47 Publications since 2005, including 1 Book and 10 Additional arXiv Preprints 1 Contribution as Editor · 1 Further Contribution Co-Authors: 22 Co-Authors with 35 Joint Publications 283 Co-Co-Authors all top 5 Co-Authors 14 single-authored 11 Moerdijk, Ieke 4 Heunen, Chris 3 Garner, Richard 2 Aczel, Peter 2 Briseid, Eyvind Martol 2 De Marchi, Federico 2 Safarik, Pavol 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Avigad, Jeremy 1 Awodey, Steve 1 Barras, Bruno 1 Bauer, Andrej 1 Bertot, Yves 1 Bezem, Marc 1 Bordg, Anthony 1 Briet, Marcus 1 Brunerie, Guillaume 1 Cohen, Cyril 1 Constable, Robert Lee 1 Coquand, Thierry 1 Curien, Pierre-Louis 1 Dybjer, Peter 1 Faber, Eric Ernst 1 Figueroa, Daniel G. 1 Finster, Eric 1 Frumin, Dan 1 Gambino, Nicola 1 Geerligs, Freek 1 Gonthier, Georges 1 Granström, Johan Georg 1 Grayson, Daniel Richard 1 Hadzihasanovic, Amar 1 Hales, Thomas Callister 1 Harper, Robert 1 Herbelin, Hugo 1 Hermo Reyes, Eduardo 1 Hofmann, Martin 1 Hofstra, Pieter J. W. 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Joyal, André 1 Kapulkin, Krzysztof 1 Kesner, Delia 1 Kock, Joachim 1 Kraus, Nicolai 1 Li, Nuo 1 Licata, Dan 1 Lumsdaine, Peter LeFanu 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Nahas, Michael 1 Otten, Daniël 1 Palmgren, Erik 1 Paßmann, Robert 1 Pelayo, Alvaro 1 Polonsky, Andrew 1 Riehl, Emily 1 Rijke, Egbert 1 Sanders, Sam 1 Schuster, Peter Michael 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Shulman, Michael A. 1 Sojakova, Kristina 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Spitters, Bas 1 1 van Slooten, Lotte 1 van Woerkom, Wijnand 1 Voevodskiĭ, Vladimir Aleksandrovich 1 Warren, Michael Alton 1 Zeilberger, Noam all top 5 Serials 7 Annals of Pure and Applied Logic 4 Mathematical Structures in Computer Science 3 Archive for Mathematical Logic 2 Proceedings of the London Mathematical Society. Third Series 2 Applied Categorical Structures 2 Theory and Applications of Categories 2 ACM Transactions on Computational Logic 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Mathematische Annalen 1 Notre Dame Journal of Formal Logic 1 Studia Logica 1 Theoretical Computer Science 1 Indagationes Mathematicae. New Series 1 Mathematical Logic Quarterly (MLQ) 1 Journal of Mathematical Logic 1 Nieuw Archief voor Wiskunde. Vijfde Serie 1 Lecture Notes in Mathematics 1 Logical Methods in Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics all top 5 Fields 39 Mathematical logic and foundations (03-XX) 34 Category theory; homological algebra (18-XX) 10 Algebraic topology (55-XX) 4 Functional analysis (46-XX) 4 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Real functions (26-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Associative rings and algebras (16-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 31 Publications have been cited 235 times in 175 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 260 2013 Types are weak \(\omega \)-groupoids. Zbl 1229.18007 van den Berg, Benno; Garner, Richard 41 2011 A functional interpretation for nonstandard arithmetic. Zbl 1270.03121 van den Berg, Benno; Briseid, Eyvind; Safarik, Pavol 33 2012 Topological and simplicial models of identity types. Zbl 1352.03012 van den Berg, Benno; Garner, Richard 27 2012 Aspects of predicative algebraic set theory. I: Exact completion. Zbl 1165.03045 van den Berg, Benno; Moerdijk, Ieke 12 2008 Noncommutativity as a colimit. Zbl 1261.46051 van den Berg, Benno; Heunen, Chris 12 2012 Aspects of predicative algebraic set theory. II: Realizability. Zbl 1215.03063 van den Berg, Benno; Moerdijk, Ieke 10 2011 The axiom of multiple choice and models for constructive set theory. Zbl 1337.03079 van den Berg, Benno; Moerdijk, Ieke 8 2014 Inductive types and exact completion. Zbl 1064.03041 van den Berg, Benno 8 2005 Non-well-founded trees in categories. Zbl 1166.03042 van den Berg, Benno; De Marchi, Federico 8 2007 Exact completion of path categories and algebraic set theory. I: Exact completion of path categories. Zbl 1420.18034 van den Berg, Benno; Moerdijk, Ieke 7 2018 Models of non-well-founded sets via an indexed final coalgebra theorem. Zbl 1124.03049 van den Berg, Benno; De Marchi, Federico 6 2007 W-types in homotopy type theory. Zbl 1362.03009 van den Berg, Benno; Moerdijk, Ieke 6 2015 Reverse mathematics and parameter-free transfer. Zbl 1532.03014 van den Berg, Benno; Sanders, Sam 5 2019 Non-deterministic inductive definitions. Zbl 1403.03111 van den Berg, Benno 5 2013 Aspects of predicative algebraic set theory. III: Sheaves. Zbl 1253.03079 van den Berg, Benno; Moerdijk, Ieke 5 2012 Extending obstructions to noncommutative functorial spectra. Zbl 1308.46078 van den Berg, Benno; Heunen, Chris 4 2014 A unified approach to algebraic set theory. Zbl 1228.03046 van den Berg, Benno; Moerdijk, Ieke 4 2009 A homotopy-theoretic model of function extensionality in the effective topos. Zbl 1422.18005 Frumin, Dan; van den Berg, Benno 4 2019 Path categories and propositional identity types. Zbl 1407.03005 van den Berg, Benno 4 2018 The Herbrand topos. Zbl 1296.03041 van den Berg, Benno 4 2013 Nonstandard functional interpretations and categorical models. Zbl 1431.03081 Hadzihasanovic, Amar; van den Berg, Benno 4 2017 Derived rules for predicative set theory: an application of sheaves. Zbl 1432.03128 van den Berg, Benno; Moerdijk, Ieke 4 2012 Arithmetical conservation results. Zbl 1437.03170 van den Berg, Benno; van Slooten, Lotte 3 2018 No-go theorems for functorial localic spectra of noncommutative rings. Zbl 1475.46067 van den Berg, Benno; Heunen, Chris 2 2012 Univalent polymorphism. Zbl 1440.18048 van den Berg, Benno 2 2020 Univalent completion. Zbl 1400.55007 van den Berg, Benno; Moerdijk, Ieke 2 2018 Are there enough injective sets? Zbl 1319.03053 Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter 2 2013 A Kuroda-style \(j\)-translation. Zbl 1450.03003 van den Berg, Benno 1 2019 The strength of countable saturation. Zbl 1417.03291 van den Berg, Benno; Briseid, Eyvind; Safarik, Pavol 1 2017 Effective Kan fibrations in simplicial sets. Zbl 1507.18001 van den Berg, Benno; Faber, Eric 1 2022 Effective Kan fibrations in simplicial sets. Zbl 1507.18001 van den Berg, Benno; Faber, Eric 1 2022 Univalent polymorphism. Zbl 1440.18048 van den Berg, Benno 2 2020 Reverse mathematics and parameter-free transfer. Zbl 1532.03014 van den Berg, Benno; Sanders, Sam 5 2019 A homotopy-theoretic model of function extensionality in the effective topos. Zbl 1422.18005 Frumin, Dan; van den Berg, Benno 4 2019 A Kuroda-style \(j\)-translation. Zbl 1450.03003 van den Berg, Benno 1 2019 Exact completion of path categories and algebraic set theory. I: Exact completion of path categories. Zbl 1420.18034 van den Berg, Benno; Moerdijk, Ieke 7 2018 Path categories and propositional identity types. Zbl 1407.03005 van den Berg, Benno 4 2018 Arithmetical conservation results. Zbl 1437.03170 van den Berg, Benno; van Slooten, Lotte 3 2018 Univalent completion. Zbl 1400.55007 van den Berg, Benno; Moerdijk, Ieke 2 2018 Nonstandard functional interpretations and categorical models. Zbl 1431.03081 Hadzihasanovic, Amar; van den Berg, Benno 4 2017 The strength of countable saturation. Zbl 1417.03291 van den Berg, Benno; Briseid, Eyvind; Safarik, Pavol 1 2017 W-types in homotopy type theory. Zbl 1362.03009 van den Berg, Benno; Moerdijk, Ieke 6 2015 The axiom of multiple choice and models for constructive set theory. Zbl 1337.03079 van den Berg, Benno; Moerdijk, Ieke 8 2014 Extending obstructions to noncommutative functorial spectra. Zbl 1308.46078 van den Berg, Benno; Heunen, Chris 4 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 260 2013 Non-deterministic inductive definitions. Zbl 1403.03111 van den Berg, Benno 5 2013 The Herbrand topos. Zbl 1296.03041 van den Berg, Benno 4 2013 Are there enough injective sets? Zbl 1319.03053 Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter 2 2013 A functional interpretation for nonstandard arithmetic. Zbl 1270.03121 van den Berg, Benno; Briseid, Eyvind; Safarik, Pavol 33 2012 Topological and simplicial models of identity types. Zbl 1352.03012 van den Berg, Benno; Garner, Richard 27 2012 Noncommutativity as a colimit. Zbl 1261.46051 van den Berg, Benno; Heunen, Chris 12 2012 Aspects of predicative algebraic set theory. III: Sheaves. Zbl 1253.03079 van den Berg, Benno; Moerdijk, Ieke 5 2012 Derived rules for predicative set theory: an application of sheaves. Zbl 1432.03128 van den Berg, Benno; Moerdijk, Ieke 4 2012 No-go theorems for functorial localic spectra of noncommutative rings. Zbl 1475.46067 van den Berg, Benno; Heunen, Chris 2 2012 Types are weak \(\omega \)-groupoids. Zbl 1229.18007 van den Berg, Benno; Garner, Richard 41 2011 Aspects of predicative algebraic set theory. II: Realizability. Zbl 1215.03063 van den Berg, Benno; Moerdijk, Ieke 10 2011 A unified approach to algebraic set theory. Zbl 1228.03046 van den Berg, Benno; Moerdijk, Ieke 4 2009 Aspects of predicative algebraic set theory. I: Exact completion. Zbl 1165.03045 van den Berg, Benno; Moerdijk, Ieke 12 2008 Non-well-founded trees in categories. Zbl 1166.03042 van den Berg, Benno; De Marchi, Federico 8 2007 Models of non-well-founded sets via an indexed final coalgebra theorem. Zbl 1124.03049 van den Berg, Benno; De Marchi, Federico 6 2007 Inductive types and exact completion. Zbl 1064.03041 van den Berg, Benno 8 2005 all cited Publications top 5 cited Publications all top 5 Cited by 150 Authors 19 Van den Berg, Benno 10 Awodey, Steve 10 Lumsdaine, Peter LeFanu 9 Gambino, Nicola 9 Sanders, Sam 8 Moerdijk, Ieke 5 Dinis, Bruno 5 Harper, Robert 5 Kapulkin, Krzysztof 5 Licata, Daniel R. 5 Pitts, Andrew M. 5 Shulman, Michael A. 4 Angiuli, Carlo 4 Emmenegger, Jacopo 4 Heunen, Chris 4 Schuster, Peter Michael 4 van der Weide, Niels 4 Warren, Michael Alton 3 Gaspar, Jaime 3 Henry, Simon 3 Kraus, Nicolai 3 Maietti, Maria Emilia 3 Maschio, Samuele 3 North, Paige Randall 3 Oliva, Paulo 3 Orton, Ian 3 Palmgren, Erik 3 Pasquali, Fabio 3 Rathjen, Michael 3 Riehl, Emily 3 Rinaldi, Davide 3 Roberts, David Michael 3 Streicher, Thomas 3 Wessel, Daniel 2 Aczel, Peter 2 Ahrens, Benedikt 2 Altenkirch, Thorsten 2 Basold, Henning 2 Bourke, John 2 Briseid, Eyvind Martol 2 Cottrell, Thomas 2 Curi, Giovanni 2 Ferreira, Fernando 2 Ferreira, Gilda 2 Frittaion, Emanuele 2 Geuvers, Jan Herman 2 Hrbáček, Karel 2 Ishihara, Hajime 2 Karakostas, Vassilios 2 Katz, Mikhail G. 2 Kawai, Tatsuji 2 Nemoto, Takako 2 Normann, Dag 2 Reyes, Manuel L. 2 Rosolini, Giuseppe 2 Safarik, Pavol 2 Sattler, Christian 2 Simpson, Alex K. 2 Sojakova, Kristina 2 Steenkamp, S. C. 2 Swan, Andrew W. 2 Szumiło, Karol 2 Towsner, Henry 2 Uemura, Taichi 2 van Oosten, Jaap 2 Voevodskiĭ, Vladimir Aleksandrovich 2 von Raumer, Jakob 2 Zafiris, Elias 1 Alías, Luis J. 1 Arndt, Peter F. 1 Avigad, Jeremy 1 Bair, Jacques 1 Barthel, Tobias 1 Ben-Zvi, Michael 1 Benjamin, Thibaut 1 Bielas, Krzysztof 1 Błaszczyk, Piotr 1 Brunerie, Guillaume 1 Buchholtz, Ulrik 1 Buss, Samuel R. 1 Butz, Carsten 1 Cavallo, Evan 1 Chirvăsitu, Alexandru 1 Dagnino, Francesco 1 de Jong, Tom J. 1 De Marchi, Federico 1 Dietzel, Carsten 1 Ely, Robert 1 Finster, Eric 1 Fiore, Marcelo P. 1 Firmino, Paulo Renato Alves 1 Forssell, Henrik 1 Frey, Jonas 1 Frumin, Dan 1 Fujii, Soichiro 1 Gepner, David 1 Ghani, Neil 1 Granberg Olsson, Mattias 1 Granström, Johan Georg 1 Gratzer, Daniel ...and 50 more Authors all top 5 Cited in 51 Serials 24 Annals of Pure and Applied Logic 17 Mathematical Structures in Computer Science 12 Logical Methods in Computer Science 11 The Journal of Symbolic Logic 7 Journal of Pure and Applied Algebra 5 Archive for Mathematical Logic 5 Mathematical Logic Quarterly (MLQ) 3 Mathematical Proceedings of the Cambridge Philosophical Society 3 Indagationes Mathematicae. New Series 3 Theory and Applications of Categories 3 Foundations of Physics 2 Communications in Mathematical Physics 2 Journal of Mathematical Analysis and Applications 2 Bulletin of the London Mathematical Society 2 Journal of Algebra 2 Notre Dame Journal of Formal Logic 2 Studia Logica 2 Synthese 2 Theoretical Computer Science 2 Applied Categorical Structures 2 Selecta Mathematica. New Series 2 Higher Structures 1 International Journal of Theoretical Physics 1 Journal of Geometry and Physics 1 Advances in Mathematics 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Publications Mathématiques 1 Journal of the London Mathematical Society. Second Series 1 Journal of Philosophical Logic 1 Mathematische Annalen 1 Mathematische Zeitschrift 1 Proceedings of the American Mathematical Society 1 Forum Mathematicum 1 Random Structures & Algorithms 1 Bulletin of the American Mathematical Society. New Series 1 Journal of Functional Programming 1 The Bulletin of Symbolic Logic 1 Journal of the European Mathematical Society (JEMS) 1 Journal of Mathematical Logic 1 Algebraic & Geometric Topology 1 Portugaliae Mathematica. Nova Série 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Oberwolfach Reports 1 Tbilisi Mathematical Journal 1 Confluentes Mathematici 1 Journal of Logic and Analysis 1 Forum of Mathematics, Sigma 1 Categories and General Algebraic Structures with Applications 1 British Journal for the History of Mathematics 1 Portugaliae Mathematica all top 5 Cited in 24 Fields 141 Mathematical logic and foundations (03-XX) 84 Category theory; homological algebra (18-XX) 54 Algebraic topology (55-XX) 24 Computer science (68-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 9 Functional analysis (46-XX) 8 Quantum theory (81-XX) 5 Associative rings and algebras (16-XX) 4 Real functions (26-XX) 3 Algebraic geometry (14-XX) 3 Group theory and generalizations (20-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Combinatorics (05-XX) 2 Number theory (11-XX) 2 Commutative algebra (13-XX) 2 Operator theory (47-XX) 2 General topology (54-XX) 1 General algebraic systems (08-XX) 1 Field theory and polynomials (12-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Nonassociative rings and algebras (17-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) Citations by Year