On the Farkas lemma and the Horn-Tarski measure-extension theorem
Keywords: 15A06; 06E99; 28A60; Non-negative solutions of systems of linear equations; The Farkas lemma; Measure extension; State on a Boolean algebra; The Horn-Tarski criterion;