arXiv++ Combinatorics

Tangle-tree theorems are an important tool in structural graph theory, and abstract separation systems are a very general setting in which tangle-tree theorems can still be formulated and proven. For infinite abstract separation systems, so far tangle-tree theorems have only been shown for special cases of separation systems, in particular when the separation system arises from a (locally finite) infinite graph. We present a tangle-tree theorem for infinite separation systems where we do not place restrictions on the separation system itself but on the tangles to be arranged in a tree.