scientific article; zbMATH DE number 1420835

zbMath0943.03045MaRDI QIDQ4944903

Lev D. Beklemishev

Publication date: 5 September 2000

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

zbMATH Keywords

primitive recursive arithmetictransfinite inductionprimitive recursive well-ordering

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Related Items (1)

Deducibility and independence in Beklemishev's autonomous provability calculus

This page was built for publication: