The following pages link to Ryan Siders (Q944223):
Displaying 7 items.
- Register computations on ordinals (Q944224) (← links)
- On quantifier-rank equivalence between linear orders (Q964492) (← links)
- Monotone subsequences in any dimension (Q1284167) (← links)
- (Q1378552) (redirect page) (← links)
- Monotonic subsequences in dimensions higher than one (Q1378553) (← links)
- Minimality considerations for ordinal computers modeling constructibility (Q2482462) (← links)
- Layered circlepackings and the type problem (Q4211050) (← links)
