collaborators

1 paper

math.LO2026

Well-quasi-orders on finite trees and transfinite sequences

Alakh Dhruv Chopra, Fedor Pakhomov

We study the well-quasi-order (wqo) consisting of the set of finite trees with leaf labels coming from an arbitrary wqo , ordered by tree homomorphisms which respect the order o…