Recursion on Homogeneous Trees

DOI10.1002/MALQ.19850311903zbMath0553.03035OpenAlexW2104968295MaRDI QIDQ3346306

Herman Ruge Jervell

Publication date: 1985

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

Full work available at URL: https://doi.org/10.1002/malq.19850311903

zbMATH Keywords

inductive definitionsproof-theoretic ordinalspartial tree-order

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (1)

Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)

This page was built for publication: Recursion on Homogeneous Trees