The following pages link to (Q3786478):
Displaying 5 items.
- Termination of rewriting (Q1098624) (← links)
- Note on a proof of the extended Kirby-Paris theorem on labelled finite trees (Q1110524) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Gap Embedding for Well-Quasi-Orderings (Q4924530) (← links)
- (Q5018496) (← links)
