贾格尔,格哈德 Kripke-Platek环境中的阶段比较、不动点和最小不动点。 (英语) 兹伯利07634477 圣母院J.形式逻辑 63,第4号,443-461(2022).MSC公司:03日70 03E30年 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger},圣母院J.形式逻辑63,No.4,443--461(2022;Zbl 07634477) 全文: 内政部 链接
贾格尔,格哈德;西尔维娅·斯特拉 关于Kripke-Platek环境中的一些不动点公理和相关原理。 (英语) Zbl 1469.03139号 J.塞姆。日志。 83,第2期,642-668(2018).MSC公司:03E30年 03财年03 35层03 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}和\textit{S.Steila},J.Symb。日志。83,No.2,642--668(2018;Zbl 1469.03139) 全文: 内政部
贾格尔,格哈德 相对论运算集理论。 (英语) Zbl 1432.03127号 牛市。符号。日志。 22,第3号,332-352(2016).MSC公司:03楼50 35层03 03E70型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger},公牛。符号。日志。22,第332-352号(2016年;兹bl 1432.03127) 全文: 内政部 链接