Pages that link to "Item:Q3775552"
From MaRDI portal
The following pages link to A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams (Q3775552):
Displaying 4 items.
- A new system of proof-theoretic ordinal functions (Q1109029) (← links)
- 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)