scientific article; zbMATH DE number 1114016

zbMath0890.03034MaRDI QIDQ4375785

Stephen J. Bellantoni

Publication date: 29 June 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inductionprimitive recursive functionsquantifier complexitypolynomial-time provabilityramification hierarchyranking of arithmetic proofs

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Recursive functions and relations, subrecursive hierarchies (03D20) Complexity of proofs (03F20)

Related Items (2)

Build your own clarithmetic I: Setup and completeness ⋮ Separating NC along the \(\delta\) axis

This page was built for publication: