Gabriel Peyré on Twitter: "Tarski–Seidenberg theorem: semi-algebraicity is stable by projection. The most fundamental result in semi-algebraic geometry. Equivalent to the elimination of the existential quantifier. https://t.co/vtlWvCtl3q https://t.co ...
Existential therapy - Wikipedia | Existential therapy, Existentialism, Therapy