古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;范·密尔,简 局部紧序空间的McKinsey-Tarski定理。 (英语) Zbl 1483.54016号 牛市。符号。日志。 27,第2期,187-211(2021). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:54个F05 54D45号 03B45号 54国集团12 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,公牛。符号。日志。27,第2号,187--211(2021;Zbl 1483.54016) 全文: 内政部
阿莱、东山英彦;斯坦利·韦纳。;安德烈亚斯·魏尔曼 基于参数化Ackermann-Péter函数的Goodstein序列。 (英语) Zbl 07396324号 牛市。符号。日志。 27,第2期,168-186(2021).MSC公司:2015年1月3日 35层03 30楼03号 35楼03号 03天55 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai}等人,公牛。符号。日志。27,第2号,168--186(2021;Zbl 07396324) 全文: 内政部
程勇 哥德尔不完全性定理的研究现状。 (英语) Zbl 1497.03067号 牛市。符号。日志。 27,第2期,113-167(2021). 审核人:赛义德·萨利希(大不里士) MSC公司:03F40型 30楼03号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cheng},公牛。符号。日志。27,编号2,113--167(2021;Zbl 1497.03067) 全文: 内政部 arXiv公司