Trees of tangles in abstract separation systems
arXiv:1909.09030 · doi:10.1016/j.jcta.2021.105425
Abstract
We prove canonical and non-canonical tree-of-tangles theorems for abstract separation systems that are merely structurally submodular. Our results imply all known tree-of-tangles theorems for graphs, matroids and abstract separation systems with submodular order functions, with greatly simplified and shortened proofs.