8 citations · 22 across the 10 of their papers we have counts for
1 paper · 1 filter
Emanuele Frittaion
Goodman's theorem (1976) states that intuitionistic finite-type arithmetic plus the axiom of choice plus the axiom of relativized dependent choice is conservative over Heyting arit…