Pages that link to "Item:Q4227873"

The following pages link to Variations on a theme by Weiermann (Q4227873):

Displaying 3 items.

• Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
• Sometimes slow growing is fast growing (Q1377604) (← links)
• 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)