149 citations · 517 across the 29 of their papers we have counts for
1 paper · 2 filters
Steven Kieffer, Jeremy Avigad, Harvey Friedman
We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising bedrock semantics for communicating and sharing mathema…