A note on field-valued measures

We consider the Horn-Tarski condition for the extension of (signed) measures (resp., non-negative measures) in the setup of field-valued assignments. For a finite collection C of subsets of Ω, we find that the extension from C over the collection exp Ω of all subsets of Ω is implied by, and indeed equivalent to, a certain type of Frobenius theorem (resp. a certain type of Farkas lemma). This links classical notions of linear algebra with a generalized version of Horn-Tarski condition on extensions of measures. We also observe that for a general (infinite) C the Horn-Tarski condition guarantees the extension of signed measures (here the standard Zorn lemma applies). However, we find out that the extensions for non-negative ordered-field-valued measures are generally not available.