scientific article
From MaRDI portal
Publication:2784778
zbMath0990.03045MaRDI QIDQ2784778
Publication date: 18 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25)
Related Items
\(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction ⋮ \(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture ⋮ The minimal e-degree problem in fragments of Peano arithmetic ⋮ The atomic model theorem and type omitting
This page was built for publication:
