×

Van den Berg, Benno

Author ID: van-den-berg.benno Recent zbMATH articles by "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
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

Publications by Year

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 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

Citations by Year