Pages that link to "Item:Q3199414"

The following pages link to A theorem on labelled trees and the limits of its provability (Q3199414):

Displaying 9 items.

• Note on a proof of the extended Kirby-Paris theorem on labelled finite trees (Q1110524) (← links)
• A direct independence proof of Buchholz's Hydra Game on finite labeled trees (Q1128173) (← links)
• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
• Erratum to ``What's so special about Kruskal's theorem and the ordinal \(\Gamma_0\)? A survey of some results in proof theory'' (Q1377628) (← links)
• A non-well-founded primitive recursive tree provably well-founded for co-r. e. sets (Q1407539) (← links)
• The structure of infinite Friedman trees (Q1908484) (← links)
• Leighton's theorem : extensions, limitations and quasitrees (Q2163650) (← links)
• Trees and finite satisfiability: proof of a conjecture of Burgess (Q2266003) (← links)
• An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy (Q4304120) (← links)