帕维尔·普德拉克 可解释类型格中的一些素元素。 (英语) Zbl 0561.03014号 事务处理。美国数学。Soc公司。 280, 255-275 (1983). 审核人:M.Yasuhara先生 理学硕士:03B99号 PDF格式BibTeX公司 XML格式引用 \textit{P.Pudlák},翻译。美国数学。Soc.280255-275(1983年;Zbl 0561.03014) 全文: 内政部
瓜斯帕里,D。 算术的部分保守扩展。 (英语) Zbl 0417.03030号 事务处理。美国数学。Soc公司。 254, 47-68 (1979).理学硕士:30楼03号 03C65号 PDF格式BibTeX公司 XML格式引用 \textit{D.Guaspari},翻译。美国数学。Soc.254,47-68(1979年;兹bl 0417.03030) 全文: 内政部