scientific article; zbMATH DE number 1088194

zbMath0892.03023MaRDI QIDQ4364507

Lev D. Beklemishev

Publication date: 17 November 1997

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

zbMATH Keywords

reflectioninductionconservativityprimitive recursive functionsprovably recursive functions

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items

Parameter free induction and provably total computable functions, Unprovability results for clause set cycles, Induction and Skolemization in saturation theorem proving