穆罕默德·哈立德;艾哈迈德、塔雷克说 Vaught定理适用于\(L_{2}\),但在\(n>2\)时,\(L_(n}\)失败。 (英语) Zbl 1286.03126号 牛。第节。日志。,大学后勤部。 39,编号3-4,107-122(2010).MSC公司:03元50分 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.哈立德}和\textit{T.赛义德·艾哈迈德},公牛。第节。日志。,大学后勤部。39,编号3--4,107-122(2010;Zbl 1286.03126) 全文: 链接
艾哈迈德、塔雷克说 关于有限多变量一阶逻辑的Vaught定理。 (英语) Zbl 1197.03036号 J.应用。非类别。日志。 第1号第19页,97-112页(2009年).MSC公司:03C07号机组 03克15 PDF格式BibTeX公司 XML格式引用 \发短信{T.Sayed Ahmed},J.Appl。非类别。日志。19,第1号,97--112(2009;Zbl 1197.03036) 全文: 内政部
艾哈迈德、塔雷克说 代数逻辑中的独立性。 (英语) Zbl 1117.03350号 牛。第节。日志。,大学后勤部。 34,第1期,29-36(2005).MSC公司:03克15 03C07号机组 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{T.Sayed Ahmed},公牛。第节。日志。,大学后勤部。34,第1号,第29--36条(2005年;Zbl 1117.03350)
艾哈迈德、塔雷克说 省略类型的充分必要条件。 (英语) Zbl 1117.03349号 牛。第节。日志。,大学后勤部。 34,第1期,23-27(2005).MSC公司:03克15 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Sayed Ahmed},公牛。第节。日志。,大学后勤部。34,第1号,23--27(2005;Zbl 1117.03349)