Stiemke's theorem, also known as Stiemke's alternation theorem, is a result in mathematical logic. It states that if a logical equation is valid, then it must have a two-valued model in which the truth values alternate. More formally, let φ be a first-order formula, and let Γ be ...
The extensions of Farkas-Minkowski's Lemma and Stiemke's Lemma are the Basic Valuation Theorem in the case (l1, l∞). The security price is weakly arbitrage-free if and only if there exists a positive state vector; the security price is strictly arbitrage-free if and only if there ...