The following pages link to New Computational Paradigms (Q5717041):
Displaying 6 items.
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees (Q582289) (← links)
- Ordinals. I: Basic notions (Q1817060) (← links)
- Well-partial-orderings and the big Veblen number (Q2257112) (← links)
- (Q4531086) (← links)
- Trees, ordinals and termination (Q5044740) (← links)
- Generalized fusible numbers and their ordinals (Q6050166) (← links)