On the theory of polynomial information inequalities

We study the definability of the almost entropic regions by finite sets of polynomial inequalities. Sets defined in this way are called semialgebraic. There is a strong connection between semialgebraic sets and Model Theory, this connection is presented through the so-called Tarski-Seidenberg Theore...