西尔维亚·巴比纳;多梅尼科赞比拉 可数模型的泛型展开。 (英语) 兹比尔1282.03018 圣母院J.形式逻辑 53,第4期,511-523(2012). 审核人:M.Yasuhara(普林斯顿) MSC公司:03C68号 03立方厘米15 54E52型 PDF格式BibTeX公司 XML格式引用 \textit{S.Barbina}和\textit{D.Zambella},圣母院J.形式逻辑53,第4期,511--523(2012;Zbl 1282.03018) 全文: 内政部 arXiv公司 欧几里得
安东尼拉·曼奇尼;多梅尼科赞比拉 关于集合论递归模型的注记。 (英语) Zbl 1031.03062号 圣母院J.形式逻辑 42,第2期,109-115(2001).MSC公司:03D45号 03C57号 03E70型 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{A.Mancini}和\textit{D.Zambella},圣母院J.形式逻辑42,No.2,109--115(2001;Zbl 1031.03062) 全文: 内政部
多梅尼科赞比拉 代数方法和有界公式。 (英语) Zbl 0889.03054号 圣母院J.形式逻辑 38,第1期,37-48(1997).MSC公司:35楼03号 03C13号机组 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{D.赞比拉},圣母院J.形式逻辑38,No.1,37-48(1997;Zbl 0889.03054) 全文: 内政部
多梅尼科赞比拉 包含(I\Delta_0+\exp)的理论中关于可对角化代数子代数的Shavrukov定理。 (英语) Zbl 0801.03037号 圣母院J.形式逻辑 35,第1期,147-157(1994).MSC公司:30楼03号 03G25号 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{D.赞比拉},圣母院J.形式逻辑35,No.1,147--157(1994;Zbl 0801.03037) 全文: 内政部
多梅尼科赞比拉 关于可解释逻辑的算术完备性证明。 (英语) Zbl 0788.03027号 圣母院J.形式逻辑 33,第4期,542-551(1992).MSC公司:03B45号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{D.赞比拉},圣母院J.形式逻辑33,No.4,542--551(1992;Zbl 0788.03027) 全文: 内政部