Publication:4946108

zbMath0951.03035MaRDI QIDQ4946108

Yue Yang

Publication date: 17 December 2000

zbMATH Keywords

\(\Sigma_2\) collection; \(\Sigma_2\) induction; fragment of Peano arithmetic; cuppable degree

Mathematics Subject Classification ID

03F30: First-order arithmetic and fragments

03D25: Recursively (computably) enumerable sets and degrees

03D55: Hierarchies of computability and definability