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: 37 Publications since 2005, including 1 Book 1 Further Contribution Co-Authors: 16 Co-Authors with 29 Joint Publications 226 Co-Co-Authors all top 5 Co-Authors 9 single-authored 10 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 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 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 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 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 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 Voevodskiĭ, Vladimir Aleksandrovich 1 Warren, Michael Alton 1 Zeilberger, Noam all top 5 Serials 7 Annals of Pure and Applied Logic 4 MSCS. 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 all top 5 Fields 31 Mathematical logic and foundations (03-XX) 27 Category theory; homological algebra (18-XX) 9 Algebraic topology (55-XX) 4 Functional analysis (46-XX) 3 Computer science (68-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Real functions (26-XX) 1 General and overarching topics; collections (00-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 30 Publications have been cited 194 times in 141 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 Types are weak \(\omega \)-groupoids. Zbl 1229.18007van den Berg, Benno; Garner, Richard 26 2011 A functional interpretation for nonstandard arithmetic. Zbl 1270.03121van den Berg, Benno; Briseid, Eyvind; Safarik, Pavol 26 2012 Topological and simplicial models of identity types. Zbl 1352.03012van den Berg, Benno; Garner, Richard 21 2012 Noncommutativity as a colimit. Zbl 1261.46051van den Berg, Benno; Heunen, Chris 12 2012 Aspects of predicative algebraic set theory. I: Exact completion. Zbl 1165.03045van den Berg, Benno; Moerdijk, Ieke 11 2008 Aspects of predicative algebraic set theory. II: Realizability. Zbl 1215.03063van den Berg, Benno; Moerdijk, Ieke 10 2011 Inductive types and exact completion. Zbl 1064.03041van den Berg, Benno 7 2005 The axiom of multiple choice and models for constructive set theory. Zbl 1337.03079van den Berg, Benno; Moerdijk, Ieke 7 2014 Non-well-founded trees in categories. Zbl 1166.03042van den Berg, Benno; De Marchi, Federico 7 2007 W-types in homotopy type theory. Zbl 1362.03009van den Berg, Benno; Moerdijk, Ieke 6 2015 Models of non-well-founded sets via an indexed final coalgebra theorem. Zbl 1124.03049van den Berg, Benno; De Marchi, Federico 6 2007 Exact completion of path categories and algebraic set theory. I: Exact completion of path categories. Zbl 1420.18034van den Berg, Benno; Moerdijk, Ieke 5 2018 Reverse mathematics and parameter-free transfer. Zbl 06994737van den Berg, Benno; Sanders, Sam 5 2019 Aspects of predicative algebraic set theory. III: Sheaves. Zbl 1253.03079van den Berg, Benno; Moerdijk, Ieke 5 2012 A unified approach to algebraic set theory. Zbl 1228.03046van den Berg, Benno; Moerdijk, Ieke 4 2009 Nonstandard functional interpretations and categorical models. Zbl 1431.03081Hadzihasanovic, Amar; van den Berg, Benno 4 2017 Non-deterministic inductive definitions. Zbl 1403.03111van den Berg, Benno 4 2013 The Herbrand topos. Zbl 1296.03041van den Berg, Benno 4 2013 A homotopy-theoretic model of function extensionality in the effective topos. Zbl 1422.18005Frumin, Dan; van den Berg, Benno 4 2019 Path categories and propositional identity types. Zbl 1407.03005van den Berg, Benno 3 2018 Derived rules for predicative set theory: an application of sheaves. Zbl 1432.03128van den Berg, Benno; Moerdijk, Ieke 3 2012 Univalent completion. Zbl 1400.55007van den Berg, Benno; Moerdijk, Ieke 2 2018 Arithmetical conservation results. Zbl 1437.03170van den Berg, Benno; van Slooten, Lotte 2 2018 Extending obstructions to noncommutative functorial spectra. Zbl 1308.46078van den Berg, Benno; Heunen, Chris 2 2014 Univalent polymorphism. Zbl 1440.18048van den Berg, Benno 2 2020 No-go theorems for functorial localic spectra of noncommutative rings. Zbl 1475.46067van den Berg, Benno; Heunen, Chris 2 2012 Are there enough injective sets? Zbl 1319.03053Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter 2 2013 The strength of countable saturation. Zbl 1417.03291van den Berg, Benno; Briseid, Eyvind; Safarik, Pavol 1 2017 Effective Kan fibrations in simplicial sets. Zbl 1507.18001van den Berg, Benno; Faber, Eric 1 2022 Effective Kan fibrations in simplicial sets. Zbl 1507.18001van den Berg, Benno; Faber, Eric 1 2022 Univalent polymorphism. Zbl 1440.18048van den Berg, Benno 2 2020 Reverse mathematics and parameter-free transfer. Zbl 06994737van den Berg, Benno; Sanders, Sam 5 2019 A homotopy-theoretic model of function extensionality in the effective topos. Zbl 1422.18005Frumin, Dan; van den Berg, Benno 4 2019 Exact completion of path categories and algebraic set theory. I: Exact completion of path categories. Zbl 1420.18034van den Berg, Benno; Moerdijk, Ieke 5 2018 Path categories and propositional identity types. Zbl 1407.03005van den Berg, Benno 3 2018 Univalent completion. Zbl 1400.55007van den Berg, Benno; Moerdijk, Ieke 2 2018 Arithmetical conservation results. Zbl 1437.03170van den Berg, Benno; van Slooten, Lotte 2 2018 Nonstandard functional interpretations and categorical models. Zbl 1431.03081Hadzihasanovic, Amar; van den Berg, Benno 4 2017 The strength of countable saturation. Zbl 1417.03291van den Berg, Benno; Briseid, Eyvind; Safarik, Pavol 1 2017 W-types in homotopy type theory. Zbl 1362.03009van den Berg, Benno; Moerdijk, Ieke 6 2015 The axiom of multiple choice and models for constructive set theory. Zbl 1337.03079van den Berg, Benno; Moerdijk, Ieke 7 2014 Extending obstructions to noncommutative functorial spectra. Zbl 1308.46078van den Berg, Benno; Heunen, Chris 2 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 Non-deterministic inductive definitions. Zbl 1403.03111van den Berg, Benno 4 2013 The Herbrand topos. Zbl 1296.03041van den Berg, Benno 4 2013 Are there enough injective sets? Zbl 1319.03053Aczel, Peter; van den Berg, Benno; Granström, Johan; Schuster, Peter 2 2013 A functional interpretation for nonstandard arithmetic. Zbl 1270.03121van den Berg, Benno; Briseid, Eyvind; Safarik, Pavol 26 2012 Topological and simplicial models of identity types. Zbl 1352.03012van den Berg, Benno; Garner, Richard 21 2012 Noncommutativity as a colimit. Zbl 1261.46051van den Berg, Benno; Heunen, Chris 12 2012 Aspects of predicative algebraic set theory. III: Sheaves. Zbl 1253.03079van den Berg, Benno; Moerdijk, Ieke 5 2012 Derived rules for predicative set theory: an application of sheaves. Zbl 1432.03128van den Berg, Benno; Moerdijk, Ieke 3 2012 No-go theorems for functorial localic spectra of noncommutative rings. Zbl 1475.46067van den Berg, Benno; Heunen, Chris 2 2012 Types are weak \(\omega \)-groupoids. Zbl 1229.18007van den Berg, Benno; Garner, Richard 26 2011 Aspects of predicative algebraic set theory. II: Realizability. Zbl 1215.03063van den Berg, Benno; Moerdijk, Ieke 10 2011 A unified approach to algebraic set theory. Zbl 1228.03046van den Berg, Benno; Moerdijk, Ieke 4 2009 Aspects of predicative algebraic set theory. I: Exact completion. Zbl 1165.03045van den Berg, Benno; Moerdijk, Ieke 11 2008 Non-well-founded trees in categories. Zbl 1166.03042van den Berg, Benno; De Marchi, Federico 7 2007 Models of non-well-founded sets via an indexed final coalgebra theorem. Zbl 1124.03049van den Berg, Benno; De Marchi, Federico 6 2007 Inductive types and exact completion. Zbl 1064.03041van den Berg, Benno 7 2005 all cited Publications top 5 cited Publications all top 5 Cited by 128 Authors 19 Van den Berg, Benno 9 Lumsdaine, Peter LeFanu 9 Sanders, Sam 8 Awodey, Steve 8 Moerdijk, Ieke 7 Gambino, Nicola 5 Kapulkin, Krzysztof 4 Emmenegger, Jacopo 4 Harper, Robert 4 Pitts, Andrew M. 4 Shulman, Michael A. 4 Warren, Michael Alton 3 Angiuli, Carlo 3 Heunen, Chris 3 Maschio, Samuele 3 Orton, Ian 3 Palmgren, Erik 3 Pasquali, Fabio 3 Rinaldi, Davide 3 Roberts, David Michael 3 Schuster, Peter Michael 3 Streicher, Thomas 2 Aczel, Peter 2 Bourke, John 2 Briseid, Eyvind Martol 2 Cottrell, Thomas 2 Curi, Giovanni 2 Dinis, Bruno 2 Ferreira, Fernando 2 Frittaion, Emanuele 2 Henry, Simon 2 Ishihara, Hajime 2 Karakostas, Vassilios 2 Katz, Mikhail G. 2 Kawai, Tatsuji 2 Licata, Daniel R. 2 Maietti, Maria Emilia 2 Nemoto, Takako 2 Normann, Dag 2 North, Paige Randall 2 Oliva, Paulo 2 Rathjen, Michael 2 Riehl, Emily 2 Rosolini, Giuseppe 2 Safarik, Pavol 2 Sattler, Christian 2 Simpson, Alex K. 2 Swan, Andrew W. 2 Szumiło, Karol 2 Towsner, Henry 2 Uemura, Taichi 2 van der Weide, Niels 2 van Oosten, Jaap 2 Wessel, Daniel 2 Zafiris, Elias 1 Ahrens, Benedikt 1 Alías, Luis J. 1 Altenkirch, Thorsten 1 Arndt, Peter F. 1 Avigad, Jeremy 1 Bair, Jacques 1 Barthel, Tobias 1 Basold, Henning 1 Ben-Zvi, Michael 1 Bielas, Krzysztof 1 Błaszczyk, Piotr 1 Buchholtz, Ulrik 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 Ferreira, Gilda 1 Fiore, Marcelo P. 1 Forssell, Henrik 1 Frey, Jonas 1 Frumin, Dan 1 Fujii, Soichiro 1 Gaspar, Jaime 1 Gepner, David 1 Geuvers, Jan Herman 1 Ghani, Neil 1 Granström, Johan Georg 1 Gratzer, Daniel 1 Hamhalter, Jan 1 Hirata, Ayana 1 Hofstra, Pieter J. W. 1 Hötzel Escardó, Martín 1 Hrbáček, Karel 1 Impera, Debora 1 Incurvati, Luca 1 Johnstone, Peter T. 1 Kock, Joachim 1 Kraus, Nicolai 1 Krishnan, Sanjeevi 1 Krol, Jerzy 1 Kuhlemann, Karl ...and 28 more Authors all top 5 Cited in 46 Serials 22 Annals of Pure and Applied Logic 15 MSCS. Mathematical Structures in Computer Science 12 Logical Methods in Computer Science 10 The Journal of Symbolic Logic 7 Journal of Pure and Applied Algebra 5 Mathematical Logic Quarterly (MLQ) 3 Mathematical Proceedings of the Cambridge Philosophical Society 3 Archive for Mathematical Logic 3 Indagationes Mathematicae. New Series 3 Foundations of Physics 2 Journal of Mathematical Analysis and Applications 2 Notre Dame Journal of Formal Logic 2 Studia Logica 2 Synthese 2 Theoretical Computer Science 2 Applied Categorical Structures 2 Higher Structures 1 Communications in Mathematical Physics 1 International Journal of Theoretical Physics 1 Journal of Geometry and Physics 1 Advances in Mathematics 1 Bulletin of the London Mathematical Society 1 Journal of Algebra 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 Selecta Mathematica. New Series 1 The Bulletin of Symbolic Logic 1 Theory and Applications of Categories 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 Tbilisi Mathematical Journal 1 Confluentes Mathematici 1 Forum of Mathematics, Sigma 1 Categories and General Algebraic Structures with Applications 1 British Journal for the History of Mathematics all top 5 Cited in 24 Fields 111 Mathematical logic and foundations (03-XX) 69 Category theory; homological algebra (18-XX) 39 Algebraic topology (55-XX) 18 Computer science (68-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 8 Functional analysis (46-XX) 7 Quantum theory (81-XX) 4 Associative rings and algebras (16-XX) 4 Real functions (26-XX) 2 History and biography (01-XX) 2 Combinatorics (05-XX) 2 Algebraic geometry (14-XX) 2 Nonassociative rings and algebras (17-XX) 2 Operator theory (47-XX) 2 General topology (54-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) Citations by Year