1 paper
Benno van den Berg, Lotte van Slooten
In this paper we present a proof of Goodman's Theorem, a classical result in the metamathematics of constructivism, which states that the addition of the axiom of choice to Heyting…