scientific article; zbMATH DE number 733384

zbMath0829.03036MaRDI QIDQ4325772

Samuel R. Buss

Publication date: 30 March 1995

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

zbMATH Keywords

Peano arithmeticprovably recursive functionswitness function

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items

Unnamed Item, Relating the bounded arithmetic and polynomial time hierarchies, Unnamed Item, Mining the surface: witnessing the low complexity theorems of arithmetic, On nested simple recursion, Theories with self-application and computational complexity., Local induction and provably total computable functions, On the correspondence between arithmetic theories and propositional proof systems – a survey, Saturated models of universal theories