The following pages link to (Q3786478):
Displaying 7 items.
- A theory of pictures for quasi-posets (Q517080) (← links)
- Termination of rewriting (Q1098624) (← links)
- Note on a proof of the extended Kirby-Paris theorem on labelled finite trees (Q1110524) (← links)
- On ordinal diagrams (Q1130780) (← 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)