scientific article; zbMATH DE number 1421082

zbMATH Open0951.03035MaRDI QIDQ4946108

Yue Yang

Publication date: 17 December 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

\(\Sigma_2\) collection\(\Sigma_2\) inductionfragment of Peano arithmeticcuppable degree

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursively (computably) enumerable sets and degrees (03D25) Hierarchies of computability and definability (03D55)

Related Items (1)

Cupping $\Delta_2^0$ Enumeration Degrees to 0 e ′

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4946108)