@misc{indiciaec23f8fe4d70b, title = {The finite big Ramsey degrees of Henson graphs are provable in \$\textbackslash{}mathrm\{ACA\}\_0\$}, author = {Peter Cholak and Natasha Dobrinen and Henry Towsner}, year = {2026}, url = {https://arxiv.org/abs/2606.30885}, note = {Source identifier: 2606.30885} }