MathDB1 problem
- 0 votes0 replies0 views
Ordinal-height invariance of predicative recursion on well-founded partial orders
Ordinal-height conjecture. The predicatively recursive functions on a well-founded partial order correspond to the predicatively recursive functions on its associated ordinal.