尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。;阿尔贝托，Policriti;亚历山大·托梅斯库一世。 简而言之，无限。 （英语） Zbl 1284.03231号 J.日志。计算。 第6号第22页，第1391-1403页（2012年）.MSC公司：03E30年 03B25号 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo}等人，J.Log。计算。22，第6号，1391--1403（2012；Zbl 1284.03231） 全文： DOI程序
尤金尼奥·奥莫多;阿尔贝托，Policriti 集合论的Bernays Schönfinkel Ramsey类：可判定性。 （英语） Zbl 1251.03025号 J.塞姆。日志。 77，第3期，896-918（2012）.MSC公司：03B25号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Omodeo}和\textit{A.Policriti}，J.Symb。日志。77，第3号，896--918（2012；Zbl 1251.03025） 全文： DOI程序 欧几里得
尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。;阿尔贝托，Policriti;亚历山大·托梅斯库一世。 集合论中关于不成立无穷的陈述。 （英语） Zbl 1244.03136号 Cégielski，Patrick（编辑），弱算术研究。加州斯坦福：CSLI出版物；法国巴黎高等教育出版社（ISBN 978-1-57586-602-4/pbk）。CSLI讲座笔记196、173-199（2010）。MSC公司：03E65年 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo}等人，CSLI Lect。附注196173-199（2010；Zbl 1244.03136）
尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。;阿尔贝托，Policriti;亚历山大·托梅斯库一世。 集合/超理论中的无穷大。 （英语） Zbl 1245.03073号 伦德。问题。的里雅斯特马特大学 42, 205-210 (2010).MSC公司：03E30年 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo}等人，伦德。问题。Trieste Mat.Univ.42，205--210（2010；Zbl 1245.03073） 全文： 链接
尤金尼奥·奥莫多;阿尔贝托，Policriti 集合论的Bernays-Schönfinkel-Ramsey类：半可判定性。 （英语） Zbl 1201.03007号 J.塞姆。日志。 75，第2期，459-480（2010）. 审核人：J.M.Plotkin（东兰辛） MSC公司：03B25号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Omodeo}和\textit{A.Policriti}，J.Symb。日志。75，第2号，459--480（2010；Zbl 1201.03007） 全文： DOI程序
尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。;佛朗哥·帕拉米奥;阿尔贝托，Policriti 在隶属度理论中，所有句子都存在^*的可判定性。 （英语） Zbl 0836.03011号 数学。日志。问：。 42，第1期，41-58（1996）.MSC公司：03B25号 03E30年 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo}等人，《数学》。日志。企42、1号、41-58（1996；Zbl 0836.03011） 全文： DOI程序 链接
尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。;阿尔贝托，Policriti 可解集合/超高上下文：I.纯有限情形的一些决策过程。 （英语） 兹比尔0849.03009 Commun公司。纯应用程序。数学。 48，编号9-10，1123-1155（1995）. 审核人：J.M.Plotkin（东兰辛） MSC公司：03B25号 03E99型 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo}和\textit{A.Policriti}，Commun。纯应用程序。数学。48，编号9--10，1123--1155（1995；Zbl 0849.03009） 全文： DOI程序
F.帕拉米托。;Policriti，A。 集合论中受限制的普遍量化公式的不确定性结果。 （英语） Zbl 0797.03005号 Commun公司。纯应用程序。数学。 46，第1期，57-73（1993）.MSC公司：03B25号 03E99型 03天35分 03天10分 PDF格式BibTeX公司 XML格式引用 \textit{F.Parlamento}和\textit{A.Policriti}，Commun。纯应用程序。数学。46，编号1，57--73（1993；Zbl 0797.03005） 全文： DOI程序
尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。;佛朗哥·帕拉米奥;阿尔贝托，Policriti 在抽象集上计算（varepsilon）表达式的派生算法。 （英语） Zbl 0796.03009号 J.塞姆。计算。 15，编号5-6，673-704（1993）.MSC公司：03B25号 03E30年 03B35型 03B70号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo}等人，J.Symb。计算。15，编号5--6，673--704（1993；Zbl 0796.03009） 全文： DOI程序
佛朗哥·帕拉米奥;阿尔贝托，Policriti 集合论中有限制的泛量化的决策问题和基础公理。 （英语） Zbl 0794.03016号 Z.数学。Logik Grundlagen数学。 38，第2期，143-156（1992）. 审核人：F.Parlameto公司 MSC公司：03B25号 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{F.Parlamento}和\textit{A.Policriti}，Z.数学。Logik Grundlagen数学。38，第2号，143--156（1992；Zbl 0794.03016） 全文： DOI程序
佛朗哥·帕拉米奥;阿尔贝托，Policriti 集合论初等子语言的决策过程：十三。模型图、反射和可判定性。 （英语） Zbl 0734.03006号 J.汽车。推理 7，第2期，271-284（1991）.MSC公司：03B25号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{F.Parlamento}和\textit{A.Policriti}，J.Autom。推理7，第2期，271-284（1991年；Zbl 0734.03006） 全文： DOI程序
坎通纳，多梅尼科;文森佐·库特洛;阿尔贝托，Policriti 集合论中纯泛公式类和量词消去类的可判定性结果。 （英语） Zbl 0708.03006号 Matematiche公司 43，编号1-2，303-336（1988）.MSC公司：03B25号 03E99型 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人，Matematiche 43，No.1--2，303--336（1988；Zbl 0708.03006）