Publication:2784778

zbMath0990.03045MaRDI QIDQ2784778

Yue Yang, Chi Tat Chong

Publication date: 18 July 2002

zbMATH Keywords

survey; recursion theory on weak fragments of Peano arithmetic

Mathematics Subject Classification ID

03F30: First-order arithmetic and fragments

03D20: Recursive functions and relations, subrecursive hierarchies

03D25: Recursively (computably) enumerable sets and degrees