Recursion on Homogeneous Trees

DOI10.1002/MALQ.19850311903MaRDI QIDQ3346306zbMATH OpenOpenAlexFDO

Authors 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 definitionspartial tree-orderproof-theoretic ordinals

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• Solving non-homogeneous nested recursions using trees
• scientific article; zbMATH DE number 3978405
• scientific article; zbMATH DE number 1409903
• scientific article; zbMATH DE number 1159039
• The tree equivalence of linear recursion schemes
• On the complexity of algorithms on recursive trees
• Branching structure of uniform recursive trees
• Embedding trees in recursive circulants
• A recursive algorithm for trees and forests

Cited in

(9)

• Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)
• Binary search tree recursions with harmonic toll functions
• A decreasing rearrangement for functions on homogeneous trees
• Branching structure of uniform recursive trees
• Sheaf recursion and a separation theorem
• Rungs and trees
• Homogeneity without loss of generality
• scientific article; zbMATH DE number 7560520 (Why is no real title available?)
• Isolating nodes in recursive trees

This page was built for publication: Recursion on Homogeneous Trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3346306)