Ramsey theorem for trees with successor operation - Martin Balko; et al. (2023)