Kołodziejczyk、Leszek Aleksander 从复杂性理论包含的弱算术模型的端点扩展。 (英语) Zbl 1376.03041号 J.塞姆。日志。 81,编号3,901-916(2016). 审核人:M.Yasuhara(普林斯顿大学) MSC公司:03C62号 03F99型 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk},J.Symb。日志。81,第3号,901--916(2016;Zbl 1376.03041) 全文: 内政部 arXiv公司
拉维尼亚·埃吉迪;乔瓦尼·法格里亚 Robinson子系统(Q_{+})的双指数不可分性。 (英语) Zbl 1222.03033号 J.塞姆。日志。 76,第1期,94-124(2011).MSC公司:03C07号机组 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Egidi}和\textit{G.Faglia},J.Symb。日志。76,第1号,94-124(2011;Zbl 1222.03033) 全文: 内政部
沃尔夫冈·默克尔 Kolmogorov-Loveland随机序列在选择子序列下是不封闭的。 (英语) Zbl 1065.03024号 J.塞姆。日志。 68,第4期,1362-1376(2003). 审核人:弗拉基克·雅。克雷诺维奇(埃尔帕索) MSC公司:03天80 68问题30 60二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{W.Merkle},J.Symb。日志。68,第4号,1362--1376(2003;Zbl 1065.03024) 全文: 内政部 欧几里得
埃里希·格拉德尔 关于警卫的约束权。 (英语) Zbl 0958.03027号 J.塞姆。日志。 64,第4期,1719-1742(1999). 审核人:M.Teruamšvili(第比利斯) MSC公司:2015年3月1日 03B25号 03B20型 03天35分 PDF格式BibTeX公司 XML格式引用 \文本{E.Grädel},J.Symb。日志。64,第4号,1719-1742(1999;Zbl 0958.03027) 全文: 内政部
费利佩·库克;克劳斯·米尔 在实域上捕获复杂类的逻辑。 (英语) Zbl 0933.03047号 J.塞姆。日志。 64,第1期,363-390(1999).MSC公司:2015年3月1日 2015年第68季度 03C13号机组 第68季度19 03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cucker}和\textit{K.Meer},J.Symb。日志。64,第1号,363--390(1999;Zbl 0933.03047) 全文: 内政部
乔治·戈特洛布 有限序结构上的相对逻辑空间和广义量词。 (英语) Zbl 0882.03031号 J.塞姆。日志。 62,第2期,545-574(1997).MSC公司:03C13号机组 2015年3月1日 03C80号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob},J.Symb。日志。62,第2号,545--574(1997;Zbl 0882.03031) 全文: 内政部
斯蒂芬·芬纳(Stephen A.Fenner)。 几乎弱2-泛型集。 (英语) Zbl 0829.03025号 J.塞姆。日志。 59,第3期,868-887(1994). 审核人:C.Calude(奥克兰) MSC公司:03日30分 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Fenner},J.Symb。日志。59,编号3,868-887(1994年;兹bl 0829.03025) 全文: 内政部