帕维尔·普德拉克 有界深度Frege系统的正则对。 (英语) Zbl 1498.03152号 Ann.纯粹应用。逻辑 172,第2号,文章ID 102892,42 p.(2021).MSC公司:20层03 03英镑05 03B70号 2015年3月1日 2006年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Pudlák},Ann.《纯粹的应用》。逻辑172,第2号,文章ID 102892,42页(2021;Zbl 1498.03152) 全文: 内政部 arXiv公司
巴斯,山姆;拉米亚,拉米亚 恒深公式等价原理的简短反驳。 (英语) 兹比尔1521.03219 数学。日志。问:。 64,第6号,505-513(2018).MSC公司:20层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss}和\textit{R.Ramyaa},数学。日志。企64、6号、505--513(2018;Zbl 1521.03219) 全文: 内政部 OA许可证
帕维尔·普德拉克 有限域中的不完全性。 (英语) Zbl 1423.03245号 牛市。符号。日志。 23,第4期,405-441(2017).MSC公司:20层03 2015年3月1日 2015年第68季度 03英尺30英寸 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Pudlák},公牛。符号。日志。23,第4号,405--441(2017;Zbl 1423.03245) 全文: 内政部 arXiv公司
莫里茨·米勒;斯泽德,斯特凡 校样的树状宽度。 (英语) Zbl 1423.03244号 Inf.计算。 255,第1部分,147-164(2017).MSC公司:20层03 PDF格式BibTeX公司 XML格式引用 \textit{M.Müller}和\textit{S.Szeider},Inf.Comput。255,第1部分,147--164(2017;Zbl 1423.03244) 全文: 内政部