斯蒂芬·马克雷斯;杰里米·阿维加德 两排序Frege算法并不保守。 （英语） 兹比尔1530.00011 版本符号。日志。 16，第4期，1199-1232（2023）.MSC公司：00A30型 03A05号 03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Mackereth}和\textit{J.Avigad}，Rev.Symb。日志。16，编号41199-1232（2023；兹bl 1530.00011） 全文： DOI程序 OA许可证
杰里米·阿维加德 数学模块化。 （英语） Zbl 1439.00026号 版本符号。日志。 13，第1号，47-79（2020）. 审核人：弗兰兹·莱默梅耶（贾格策尔） MSC公司：00A30型 00A35型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}，版本符号。日志。13，第1号，47--79（2020；Zbl 1439.00026） 全文： DOI程序
杰里米·阿维加德;丽贝卡·莫里斯 角色和对象。 （英语） Zbl 1427.01005号 版本符号。日志。 9，第3期，480-510（2016）. 审核人：Robert W.van der Waall（阿姆斯特丹） MSC公司：01A55号 03-03 00A30型 03A05号 07年3月 11-03 2006年11月 11立方米 11N13号 20立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}和\textit{R.Morris}，Rev.Symb。日志。9，第3号，480--510（2016；Zbl 1427.01005） 全文： DOI程序 arXiv公司
杰里米·阿维加德;丽贝卡·莫里斯 Dirichlet定理中关于算术级数中素数的“特征”的概念。 （英语） Zbl 1296.01010号 架构（architecture）。历史。精确科学。 68，第3号，265-326（2014）. 审核人：Robert W.van der Waall（惠曾） MSC公司：01A55号 01A60型 03-03 00A30型 03E20型 11-03 2006年11月 11时25分 11N13号 30亿B50 20立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}和\textit{R.Morris}，Arch。历史。精确科学。68，第3号，265--326（2014；Zbl 1296.01010） 全文： DOI程序 arXiv公司 链接
保罗·曼科苏（编辑） [马库斯·贾昆托;肯尼思·曼德斯;约翰内斯·哈夫纳;迈克尔·德特莱夫森;迈克尔·哈雷特;杰米·塔彭登;杰里米·阿维加德;科林·麦克拉蒂;阿拉斯代尔·厄克哈特] 数学实践的哲学。2008年原版的平装本。 （英语） 兹比尔1230.03004 牛津：牛津大学出版社（ISBN 978-0-19-964010-2/pbk）。xi，第447页。(2011).MSC公司：03-02 03-03 03-06 00A30型 01A55号 01A60型 03A05号 18-03 51-03 PDF格式BibTeX公司 XML格式引用 \textit{P.Mancosu}（编辑），数学实践哲学。2008年原版的平装本。牛津：牛津大学出版社（2011；Zbl 1230.03004） 全文： DOI程序
保罗·曼科苏（编辑） [马库斯·贾昆托;肯尼思·曼德斯;约翰内斯·哈夫纳;迈克尔·德特莱夫森;迈克尔·哈雷特;杰米·塔潘登;杰里米·阿维加德;科林·麦克拉蒂;阿拉斯代尔·厄克哈特] 数学实践的哲学。 （英语） Zbl 1163.03001号 牛津：牛津大学出版社（ISBN 978-0-19-929645-3/hbk）。xi，第447页。(2008). 审核人：维克托·潘布奇（凤凰城） MSC公司：03-02 03-03 03-06 00A30型 01A55号 01A60型 03A05号 2003年3月18日 51-03 PDF格式BibTeX公司 XML格式引用 \textit{P.Mancosu}（编辑），数学实践哲学。牛津：牛津大学出版社（2008；Zbl 1163.03001）
杰里米·阿维加德 德德金理想理论发展过程中的方法论和形而上学。 （英语） Zbl 1164.00001号 费雷罗斯（Ferreirós）、何塞（José）等人，《现代数学的架构》。历史和哲学论文。牛津：牛津大学出版社（ISBN 0-19-856793-6/hbk）。159-186 (2006). 审核人：罗曼·穆拉夫斯基（波兹南） MSC公司：00A30型 01A55号 03A05号 2003年3月16日 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}，in：现代数学的架构。历史和哲学论文。牛津：牛津大学出版社。159--186（2006年；Zbl 1164.00001）
杰里米·阿维加德 数论和初等算术。 （英语） Zbl 1050.03005号 菲洛斯。数学。(3) 11，第3期，257-284（2003）. 审核人：安德烈亚·坎蒂尼（费伦泽） MSC公司：03A05号 30楼03号 35楼03号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}，菲洛斯。数学。（3） 11，第3号，257--284（2003；Zbl 1050.03005） 全文： DOI程序 链接