Pages that link to "Item:Q3775552"

The following pages link to A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams (Q3775552):

Displayed 3 items.

• Note on a proof of the extended Kirby-Paris theorem on labelled finite trees (Q1110524) ‎ (← links)
• Generalizations of the Kruskal-Friedman theorems (Q3491541) ‎ (← links)
• Meeting of the Association for Symbolic Logic (Q5903782) ‎ (← links)