On Farkas' lemma and related propositions in BISH

Berger, Josef und Svindland, Gregor (2021): On Farkas' lemma and related propositions in BISH. In: Annals of Pure and Applied Logic, Bd. 173, Nr. 2, 103059

Abstract

In this paper we analyse in the framework of constructive mathematics (BISH) the validity of Farkas' lemma and related propositions, namely the Fredholm alternative for solvability of systems of linear equations, optimality criteria in linear programming, Stiemke's lemma and the Superhedging Duality from mathematical finance, and von Neumann's minimax theorem with application to constructive game theory. (c) 2021 Elsevier B.V. All rights reserved.

• Dokumententyp: Zeitschriftenartikel
• Fakultät: Mathematik, Informatik und Statistik > Mathematik
• Themengebiete: 500 Naturwissenschaften und Mathematik > 510 Mathematik
• ISSN: 0168-0072
• Sprache: Englisch