TY - RPRT TI - Trichotomy for positive cones and a maximality counterexample AU - Vincent Astier AU - Thomas Unger PY - 2022 UR - https://arxiv.org/abs/2109.09805 ID - 2109.09805 ER -