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 (9)

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

This page was built for publication: