Publication:5711880

zbMath1110.03055MaRDI QIDQ5711880

Richard A. Shore, Yue Yang, Chi Tat Chong

Publication date: 8 December 2005

zbMATH Keywords

interpretation; computably enumerable; recursively enumerable degrees; reverse recursion theory; restricted induction; induction scheme

Mathematics Subject Classification ID

03F30: First-order arithmetic and fragments

03D25: Recursively (computably) enumerable sets and degrees

03F35: Second- and higher-order arithmetic and fragments