Publisher
Springer International Publishing
Reference42 articles.
1. Avigad, J. (2000). Interpreting classical theories in constructive ones. Journal of Symbolic Logic, 65, 1785–1812.
2. Avigad, J. (2002). Saturated models of universal theories. Annals of Pure and Applied Logic, 118, 219–234.
3. Avigad, J. (2003). Number theory and elementary arithmetic. Philosophia Mathematica, 11, 257–284.
4. Avigad, J. (2004). Forcing in proof theory. Bulletin of Symbolic Logic, 10, 305–333.
5. Avigad, J., & Feferman, S. Gödel’s functional (“Dialectica”) interpretation. In [9] (pp. 337–405).