The following pages link to Jeroen Van der Meeren (Q283112):
Displaying 6 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- Well-partial-orderings and the big Veblen number (Q2257112) (← links)
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition (Q2402963) (← links)
- How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems (Q3195714) (← links)
- Calculating Maximal Order Types for Finite Rooted Unstructured Labeled Trees (Q5013906) (← links)
