Nonprovability of certain combinatorial properties of finite trees (1985)

by S G Simpson
Venue:in Harvey Friedman’s Research on the Foundations of Mathematics