62 citations · 126 across the 28 of their papers we have counts for
Showing 2011 · math.LOShow all
3 papers · 2 filters
math.LO2011
Are There Enough Injective Sets?
Peter Aczel, Benno van den Berg, Johan Granstroem +1
The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough…
math.LO2011
A functional interpretation for nonstandard arithmetic
Benno van den Berg, Eyvind Briseid, Pavol Safarik
We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Goedel and Shoenfield can be used to rewri…
math.LO2011
Non-deterministic inductive definitions
Benno van den Berg
We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call "non-deterministic inductive definitions". We give applications…