The following pages link to Benno van den Berg (Q448332):
Displaying 40 items.
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Inductive types and exact completion (Q556819) (← links)
- Noncommutativity as a colimit (Q695318) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Non-well-founded trees in categories (Q876383) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- Univalent completion (Q1659918) (← links)
- Arithmetical conservation results (Q1688961) (← links)
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories (Q1748403) (← links)
- Non-deterministic inductive definitions (Q1935375) (← links)
- Erratum to: Noncommutativity as a colimit (Q1937976) (← links)
- Univalent polymorphism (Q1987219) (← links)
- Nonstandard functional interpretations and categorical models (Q2013393) (← links)
- Effective Kan fibrations in simplicial sets (Q2094622) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- Are there enough injective sets? (Q2377052) (← links)
- The strength of countable saturation (Q2402967) (← links)
- Extending obstructions to noncommutative functorial spectra (Q2877684) (← links)
- (Q2878130) (← links)
- The axiom of multiple choice and models for constructive set theory (Q2878782) (← links)
- Topological and Simplicial Models of Identity Types (Q2946651) (← links)
- Types are weak <i>ω</i> -groupoids (Q3079518) (← links)
- A homotopy-theoretic model of function extensionality in the effective topos (Q3119466) (← links)
- Aspects of predicative algebraic set theory III: sheaves (Q3143444) (← links)
- Three extensional models of type theory (Q3625679) (← links)
- A Unified Approach to Algebraic Set Theory (Q3656421) (← links)
- Path Categories and Propositional Identity Types (Q4581462) (← links)
- W-types in homotopy-type theory – CORRIGENDUM (Q4599614) (← links)
- No-go theorems for functorial localic spectra of noncommutative rings (Q4986177) (← links)
- Converse extensionality and apartness (Q5060186) (← links)
- A note on equality in finite‐type arithmetic (Q5108108) (← links)
- Models of non-well-founded sets via an indexed final coalgebra theorem (Q5422303) (← links)
- W-types in homotopy type theory (Q5740651) (← links)
- A topos for continuous logic (Q5868039) (← links)
- The Herbrand topos (Q5891131) (← links)
- Examples and cofibrant generation of effective Kan fibrations (Q6522092) (← links)
- The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems (Q6531825) (← links)
- Examples and cofibrant generation of effective Kan fibrations (Q6671729) (← links)
