149 citations · 517 across the 29 of their papers we have counts for
Showing 2008 · math.LOShow all
2 papers · 2 filters
math.LO2008★ 149 cited
A formal system for Euclid's Elements
Jeremy Avigad, Edward Dean, John Mumma
We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.
math.LO2008
Functional interpretation and inductive definitions
Jeremy Avigad, Henry Towsner
Extending Gödel's \emph{Dialectica} interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theo…