62 citations · 126 across the 28 of their papers we have counts for
Showing 2014 · math.LOShow all
3 papers · 2 filters
math.LO2014★ 1 cited
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…
math.LO2014
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…
math.LO2014★ 4 cited
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…