62 citations · 126 across the 28 of their papers we have counts for
4 papers · 1 filter
Reverse Mathematics and parameter-free Transfer
Benno van den Berg, Sam Sanders
Recently, conservative extensions of Peano and Heyting arithmetic in the spirit of Nelson's axiomatic approach to Nonstandard Analysis, have been proposed. In this paper, we study…
A note on arithmetic in finite types
Benno van den Berg
We present a version of arithmetic in all finite types which allows for a definition of equality at higher types for which all congruence are derivable, for which the soundness of…
Extending obstructions to noncommutative functorial spectra
Benno van den Berg, Chris Heunen
Any functor from the category of C*-algebras to the category of locales that assigns to each commutative C*-algebra its Gelfand spectrum must be trivial on algebras of nxn-matrices…
Nonstandard functional interpretations and categorical models
Amar Hadzihasanovic, Benno van den Berg
Recently, the second author, Briseid and Safarik introduced nonstandard Dialectica, a functional interpretation that is capable of eliminating instances of familiar principles of n…