Subdifferential calculus for invariant linear ordered vector space-valued operators and applications

We give a direct proof of sandwich-type theorems for linear invariant partially ordered vector space operators in the setting of convexity. As consequences, we deduce equivalence results between sandwich, Hahn-Banach, separation and Krein-type extension theorems, Fenchel duality, Farkas and Kuhn-Tucker-type minimization results and subdifferential formulas in the context of invariance. As applications, we give Tarski-type extension theorems and related examples for vector lattice-valued invariant probabilities, defined on suitable kinds of events.