On the structure of initial segments of models of arithmetic期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

On the structure of initial segments of models of arithmetic

Authors:	Jan Krajíček Pavel Pudlák

Affiliation:	(1) Mathematical Institute, Czechoslovak Academy of Sciences, itná 25, CS-11567 Praha 1, Czechoslovakia

Abstract:	For any countable nonstandard modelM of a sufficiently strong fragment of arithmeticT, and any nonstandard numbersa, c M, Mca, there is a modelK ofT which agrees withM up toa and such that inK there is a proof of contradiction inT with Gödel number $leqq 2^{a^c }$ .

Keywords:
本文献已被 SpringerLink 等数据库收录！