Jeremy D. Avigad (avigad)

My contributions to Philosophie.ch

Bibliography

Avigad, Jeremy D. 1999. “Review of Feferman (1998).” The Journal of Philosophy 96(12): 638–642.
Avigad, Jeremy D. 2000. “Interpreting Classical Theories in Constructive Ones.” The Journal of Symbolic Logic 65(4): 1785–1812.
Avigad, Jeremy D. 2002a. “Ordinal Analysis Without Proofs.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 1–36. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.
Avigad, Jeremy D. 2002b. “Review of Artemov (2000).” The Bulletin of Symbolic Logic 8(3): 432–433.
Avigad, Jeremy D. 2003. “Number Theory and Elementary Arithmetic.” Philosophia Mathematica 11(3): 257–284.
Avigad, Jeremy D. 2008a. “Computers in Mathematical Inquiry.” in The Philosophy of Mathematical Practice, edited by Paolo Mancosu, pp. 302–316. Oxford: Oxford University Press, doi:10.1093/acprof:oso/9780199296453.001.0001.
Avigad, Jeremy D. 2008b. “Understanding Proofs.” in The Philosophy of Mathematical Practice, edited by Paolo Mancosu, pp. 317–353. Oxford: Oxford University Press, doi:10.1093/acprof:oso/9780199296453.001.0001.
Avigad, Jeremy D. 2010. “Gödel and the Metamathematical Tradition.” in Kurt Gödel. Essays for his Centennial, edited by Solomon Feferman, Charles Parsons, and Stephen G. Simpson, pp. 45–60. Cambridge: Cambridge University Press.
Avigad, Jeremy D. and Feferman, Solomon. 1998. “Gödel’s Functional (‘Dialectica’) Interpretation.” in Handbook of Proof Theory, edited by Samuel R. Buss, pp. 337–405. Studies in Logic and the Foundations of Mathematics n. 137. Amsterdam: Elsevier Science Publishers B.V.
Avigad, Jeremy D. and Zach, Richard J. 2002. “The Epsilon Calculus.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2002/entries/epsilon-calculus/.
Avigad, Jeremy D. and Zach, Richard J. 2007. “The Epsilon Calculus.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2007/entries/epsilon-calculus/.
Avigad, Jeremy D. and Zach, Richard J. 2013. “The Epsilon Calculus.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2013/entries/epsilon-calculus/.
Avigad, Jeremy D. and Zach, Richard J. 2019. “The Epsilon Calculus.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2019/entries/epsilon-calculus/.
Avigad, Jeremy D. and Zach, Richard J. 2024. “The Epsilon Calculus.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2024/entries/epsilon-calculus/.

Further References

Artemov, Sergei N. 2000. “Explicit Provability and Constructive Semantics.” The Bulletin of Symbolic Logic 7(1): 1–36.
Feferman, Solomon. 1998. In the Light of Logic. Oxford: Oxford University Press, doi:10.1093/oso/9780195080308.001.0001.