Details
Originalsprache | Englisch |
---|---|
Aufsatznummer | 103059 |
Fachzeitschrift | Annals of pure and applied logic |
Jahrgang | 173 |
Ausgabenummer | 2 |
Frühes Online-Datum | 27 Okt. 2021 |
Publikationsstatus | Veröffentlicht - Feb. 2022 |
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.
ASJC Scopus Sachgebiete
- Mathematik (insg.)
- Logik
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Annals of pure and applied logic, Jahrgang 173, Nr. 2, 103059, 02.2022.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
}
TY - JOUR
T1 - On Farkas' lemma and related propositions in BISH
AU - Berger, Josef
AU - Svindland, Gregor
PY - 2022/2
Y1 - 2022/2
N2 - 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.
AB - 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.
KW - Constructive game theory
KW - Constructive mathematics
KW - Farkas' lemma
KW - Fredholm alternative
KW - Stiemke's lemma
KW - Superhedging Duality
UR - http://www.scopus.com/inward/record.url?scp=85118585369&partnerID=8YFLogxK
U2 - 10.1016/j.apal.2021.103059
DO - 10.1016/j.apal.2021.103059
M3 - Article
VL - 173
JO - Annals of pure and applied logic
JF - Annals of pure and applied logic
SN - 0003-4843
IS - 2
M1 - 103059
ER -