Predicative Ordinal Recursion on the Constructive Veblen Hierarchy

Amirhossein Akbar Tabatabai, Vitor Greati, Revantha Ramanayake

Inspired by Leivant's work on absolute predicativism, Bellantoni and Cook in 1992 introduced a structurally restricted form of recursion called predicative recursion. Using this re…