论文信息 - Degrees of Relative Provability - 字舞流文

Degrees of Relative Provability

Mingzhong Cai | Mingzhong Cai

[1] J. Paris. A Mathematical Incompleteness in Peano Arithmetic , 1977 .

[2] S. C. Kleene,et al. Extension of an effectively generated class of functions by enumeration , 1958 .

[3] Stanley S. Wainer,et al. Chapter III - Hierarchies of Provably Recursive Functions , 1998 .

[4] Paul Axt,et al. On a subrecursive hierarchy and primitive recursive degrees , 1959 .

[5] J. Paris,et al. Accessible Independence Results for Peano Arithmetic , 1982 .

[6] Andreas Weiermann,et al. Streamlined subrecursive degree theory , 2012, Ann. Pure Appl. Log..

[7] Elementary Embeddings and Algebra , 2010 .

[8] Lars Kristiansen. A jump operator on honest subrecursive degrees , 1998, Arch. Math. Log..

[9] W. Pohlers. Chapter IV – Subsystems of Set Theory and Second Order Number Theory , 1998 .

[10] Samuel R. Buss,et al. Chapter I - An Introduction to Proof Theory , 1998 .