pith. sign in

Benno van den Berg

Identifiers

  • name variant Benno van den Berg 0.60 · backfill

Papers (33)

  1. Constructing (Co)inductive Types via Large Sizes cs.LO · 2026 · author #3
  2. Univalent polymorphism math.CT · 2018 · author #1
  3. A Kuroda-style j-translation math.LO · 2017 · author #1
  4. Arithmetical conservation results math.LO · 2017 · author #1
  5. A homotopy-theoretic model of function extensionality in the effective topos cs.LO · 2017 · author #2
  6. Path categories and propositional identity types math.CT · 2016 · author #1
  7. Exact completion of path categories and algebraic set theory -- Part I: Exact completion of path categories math.CT · 2016 · author #1
  8. Univalent completion math.CT · 2015 · author #1
  9. Reverse Mathematics and parameter-free Transfer math.LO · 2014 · author #1
  10. A note on arithmetic in finite types math.LO · 2014 · author #1
  11. Extending obstructions to noncommutative functorial spectra math.CT · 2014 · author #1
  12. Nonstandard functional interpretations and categorical models math.LO · 2014 · author #2
  13. W-types in Homotopy Type Theory math.CT · 2013 · author #1
  14. A topos for a nonstandard functional interpretation math.CT · 2013 · author #1
  15. Predicative toposes math.CT · 2012 · author #1
  16. The Axiom of Multiple Choice and Models for Constructive Set Theory math.LO · 2012 · author #1
  17. The Herbrand Topos math.CT · 2011 · author #1
  18. Are There Enough Injective Sets? math.LO · 2011 · author #2
  19. A functional interpretation for nonstandard arithmetic math.LO · 2011 · author #1
  20. Non-deterministic inductive definitions math.LO · 2011 · author #1
  21. No-go theorems for functorial localic spectra of noncommutative rings math.RA · 2011 · author #1
  22. Derived rules for predicative set theory: an application of sheaves math.LO · 2010 · author #1
  23. Topological and simplicial models of identity types math.LO · 2010 · author #1
  24. Noncommutativity as a colimit math.CT · 2010 · author #1
  25. Aspects of Predicative Algebraic Set Theory III: Sheaves math.LO · 2009 · author #1
  26. Types are weak omega-groupoids math.LO · 2008 · author #1
  27. W-types in sheaves math.CT · 2008 · author #1
  28. Aspects of Predicative Algebraic Set Theory II: Realizability math.LO · 2008 · author #1
  29. Aspects of Predicative Algebraic Set Theory I: Exact Completion math.LO · 2007 · author #1
  30. A Unified Approach to Algebraic Set Theory math.LO · 2007 · author #1
  31. Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem math.LO · 2005 · author #1
  32. Sheaves for predicative toposes math.LO · 2005 · author #1
  33. Non-well-founded trees in categories math.CT · 2004 · author #1

Mentions

  • 1301.3679 #1 · backfill · confidence 0.70 Benno van den Berg
  • 1207.0959 #1 · backfill · confidence 0.70 Benno van den Berg
  • 1204.4045 #1 · backfill · confidence 0.70 Benno van den Berg
  • 1112.3837 #1 · backfill · confidence 0.70 Benno van den Berg
  • 1111.5180 #2 · backfill · confidence 0.70 Benno van den Berg
  • 1109.3103 #1 · backfill · confidence 0.70 Benno van den Berg
  • 1104.2744 #1 · backfill · confidence 0.70 Benno van den Berg
  • 1101.5924 #1 · backfill · confidence 0.70 Benno van den Berg
  • 1009.3553 #1 · backfill · confidence 0.70 Benno van den Berg
  • 1007.4638 #1 · backfill · confidence 0.70 Benno van den Berg
  • 1003.3618 #1 · backfill · confidence 0.70 Benno van den Berg
  • 0912.1242 #1 · backfill · confidence 0.70 Benno van den Berg
  • 0812.0298 #1 · backfill · confidence 0.70 Benno van den Berg
  • 0810.2398 #1 · backfill · confidence 0.70 Benno van den Berg
  • 0801.2305 #1 · backfill · confidence 0.70 Benno van den Berg
  • 0710.3077 #1 · backfill · confidence 0.70 Benno van den Berg
  • 0710.3066 #1 · backfill · confidence 0.70 Benno van den Berg

Frequent Coauthors