2 problems
Let be a tree, and consider the equivalence class of under mutual embeddability, whose elements are counted up to isomorphism. Tree Alternative Conjecture. The number of is…
Friedman's conjecture. The weak tree function satisfies the upper bound above. The paper's explicit lower bound, , refutes this conjecture.