Publication:4513965

zbMath0962.03031MaRDI QIDQ4513965

Yue Yang, Chi Tat Chong

Publication date: 4 June 2001

zbMATH Keywords

models; recursive function; fragments of Peano arithmetic; reverse computability theory

Mathematics Subject Classification ID

03F30: First-order arithmetic and fragments

03H15: Nonstandard models of arithmetic

03C62: Models of arithmetic and set theory

03D20: Recursive functions and relations, subrecursive hierarchies