1. Avigad, Jeremy. Methodology and metaphysics in the development of Dedekind’s theory of ideals. In (Ferreirós and Gray, 2006), 159–186.
2. Avigad, Jeremy. 2006. Mathematical method and proof. Synthese 153: 105–159.
3. Avigad, Jeremy. 2008. Understanding proofs. In (Mancosu, 2008), 317–353.
4. Avigad, Jeremy. 2010. Understanding, formal verification, and the philosophy of mathematics. Journal of the Indian Council of Philosophical Research 27:161–197.
5. Avigad, Jeremy, and Rebecca Morris. n.d. Character and object. In preparation.