A note on the \(\Pi_ 2^ 0\)-induction rule

zbMath0831.03032MaRDI QIDQ1902342

Ulrich Kohlenbach

Publication date: 20 February 1996

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

inductionAckermann functionextension of \textbf{PRA} by number and function quantifiersquantifier-free choice for numbers

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness

This page was built for publication: A note on the \(\Pi_ 2^ 0\)-induction rule