TY - RPRT TI - Ramsey theorem for trees with successor operation AU - Martin Balko AU - David Chodounský AU - Natasha Dobrinen AU - Jan Hubička AU - Matěj Konečný AU - Jaroslav Nešetřil AU - Andy Zucker PY - 2023 UR - https://arxiv.org/abs/2311.06872 ID - 2311.06872 ER -