Title: Projections of vector addition system reachability sets are semilinear
Subjects: Petri nets, Set theory, Symbolic and mathematical Logic