阿诺·阿夫隆 彭加莱-韦尔的预测性：超越\（\Gamma_0\）。 （英语） 兹伯利07828958 牛市。符号。日志。 30，编号1，41-91（2024）.MSC公司：03A05号 03立方厘米30 03E30年 03E10年 00A30型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}，公牛。符号。日志。30，编号1，41-91（2024；Zbl 07828958） 全文： 内政部 OA许可证
日产李维斯；阿诺·阿夫隆 形式表语集理论中的分析。 （英语） 兹伯利07547740 Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 167-183 (2021).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Levi}和\textit{A.Avron}，莱克特。注释计算。科学。13038、167--183（2021；Zbl 07547740） 全文： 内政部
阿诺·阿夫隆 为什么选择表语集？ （英语） Zbl 07614716号 安德烈亚斯·布拉斯（编辑）等人，《逻辑与计算领域III》，纪念尤里·古雷维奇80岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。12180, 30-45 (2020).MSC公司：03B70号 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}，莱克特。注释计算。科学。12180，30--45（2020；Zbl 07614716） 全文： 内政部
阿诺·阿夫隆 100年后，Weyl重新审视了《Das Kontinuum》。 （英语） Zbl 1458.03006号 牛市。符号。日志。 26，第1号，26-79（2020）. 审核人：延斯·莱曼斯基（黑根） MSC公司：03A05号 03立方厘米30 03B38型 01A60型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}，公牛。符号。日志。26，第1号，26--79（2020；Zbl 1458.03006） 全文： 内政部
科恩、利隆；阿诺·阿夫隆 中庸之道——不切实际的逻辑。 （英语） Zbl 1475.03082号 合成 196，第7期，2671-2693（2019）.MSC公司：03B60号 05年3月 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}和\textit{A.Avron}，综合196，第7期，2671-2693（2019；Zbl 1475.03082） 全文： 内政部
阿诺·阿夫隆；沙哈尔·列夫；日产李维斯 安全性、绝对性和可计算性。 （英语） Zbl 1528.03183号 Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第8条，第17页（2018年）。MSC公司：03D45号 03B25号 03E30年 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}等人，LIPIcs——莱布尼茨国际程序。通知。119，第8条，第17页（2018；Zbl 1528.03183） 全文： 内政部
阿诺·阿夫隆；科恩、利隆 集合最小计算理论中的应用数学。 （英语） Zbl 1454.03064号 日志。方法计算。科学。 14，第4号，第1号论文，29页（2018年）.MSC公司：03E30年 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{L.Cohen}，Log。方法计算。科学。14，第4号，第1号论文，29页（2018；Zbl 1454.03064） 全文： 内政部 arXiv公司