TY - RPRT TI - From non-commutative diagrams to anti-elementary classes AU - Friedrich Wehrung PY - 2020 UR - https://arxiv.org/abs/1902.00355 ID - 1902.00355 ER -