The universality theorem for neighborly polytopes
- First Online:
- Cite this article as:
- Adiprasito, K.A. & Padrol, A. Combinatorica (2017) 37: 129. doi:10.1007/s00493-016-3253-9
In this note, we prove that every open primary basic semialgebraic set is stably equivalent to the realization space of a neighborly simplicial polytope. This in particular provides the final step for Mnëv‘s proof of the universality theorem for simplicial polytopes.