克洛特,P。 “关于MacDowell-Specker定理的注释”的补遗。 (英语) 兹比尔0924.03108 芬达姆。数学。 158,编号301-302(1998).MSC公司:03英尺30英寸 2015年上半年03日 03C62号 03C20号 PDF格式BibTeX公司 XML格式引用 \textit{P.Clote},芬达姆。数学。158,第3号,301--302(1998;Zbl 0924.03108) 全文: 欧洲DML
彼得·克洛特 编辑对“算术模型”专刊的介绍。 (英语) Zbl 0845.03017号 圣母院J.形式逻辑 36,第4期,499-501(1995).MSC公司:03C62号 PDF格式BibTeX公司 XML格式引用 \textit{P.Clote},圣母院J.形式逻辑36,No.4,499--501(1995;Zbl 0845.03017) 全文: 内政部
彼得·克洛特(Peter G.Clote)。 关于Mac-Dowell-Specker定理的注记。 (英语) Zbl 0619.03038号 芬达姆。数学。 127, 163-170 (1987).MSC公司:03英尺30英寸 2015年上半年03日 03C62号 03C20号 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Clote},芬达姆。数学。127163-170(1987年;Zbl 0619.03038) 全文: 内政部 欧洲DML
彼得·克洛特;Takeuti,盖西 指数时间和有界算法。 (英语) Zbl 0621.03026号 复杂性理论中的结构。Conf.,伯克利/加州,1986年,Lect。注释计算。科学。223, 125-143 (1986).MSC公司:2015年3月1日 65年第68季度 20层03 03D60年 03D20日 03D55号 03D65年 PDF格式BibTeX公司 XML格式
克洛特,P。 算术中可定义集合上的超滤。 (英语) Zbl 0618.03035号 84年逻辑搭配,Proc。Colloq.,英国曼彻斯特,1984年,《发现逻辑研究》。数学。120, 37-58 (1986). 审核人:Z.阿达莫维奇 MSC公司:2015年上半年03日 03C62号 PDF格式BibTeX公司 XML格式
克洛特,P。 低基定理在算术中的应用。 (英语) Zbl 0574.03053号 递归理论周。会议,Oberwolfach/德国。1984年,Lect。数学笔记。1141, 65-88 (1985).MSC公司:03时15分 03C62号 03C20号 03英尺30英寸 PDF格式BibTeX公司 XML格式
克洛特,P。 算术中的分区关系。 (英语) Zbl 0567.03029号 数理逻辑方法。第六拉丁美洲。交响乐团。,加拉加斯/威尼斯。1983年,Lect。数学笔记。1130, 32-68 (1985).MSC公司:03英尺30英寸 03C62号 03D55号 2015年上半年03日 PDF格式BibTeX公司 XML格式
彼得·克洛特;肯尼思·麦卡龙 另外两个组合定理等价于Peano算法的1-一致性。 (英语) 兹伯利0545.03033 J.塞姆。日志。 48, 1090-1104 (1983).MSC公司:03英尺30英寸 03C62号 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \textit{P.Clote}和\textit{K.McAloon},J.Symb。日志。481090--1104(1983年;Zbl 0545.03033) 全文: 内政部