Kirchberger's theorem for complexes of oriented matroids
Winfried Hochstättler, Sophia Keip, Kolja Knauer · Linear Algebra and its Applications · 2023
The separation theorem of Kirchberger can be proven using a combination of Farkas' Lemma and Carathéodory's Theorem. Since those theorems are at the heart of oriented matroids, we are interested in a generalization of Kirchberger's Theorem to them. This has already been done for rank 3 oriented matroids. Here we prove it for complexes of oriented matroids, which are a generalization of oriented matroids.