Annals of Pure and Applied Logic 173 (2):103059 (2022)

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.
Keywords Farkas' lemma  constructive mathematics  Fredholm alternative  Stiemke's lemma  Superhedging Duality  von Neumann minimax theory  constructive game theory
Categories (categorize this paper)
DOI 10.1016/j.apal.2021.103059
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,316
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

An Omniscience Principle, the König Lemma and the Hahn-Banach Theorem.Hajime Ishihara - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):237-240.
Convexity and Unique Minimum Points.Josef Berger & Gregor Svindland - 2019 - Archive for Mathematical Logic 58 (1-2):27-34.
Convexity and Constructive Infima.Josef Berger & Gregor Svindland - 2016 - Archive for Mathematical Logic 55 (7-8):873-881.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Dickson's Lemma and Higman's Lemma Are Equivalent.Berger Josef - 2016 - SOUTH AMERICAN JOURNAL OF LOGIC 2 (1):35-39.
On the Hamkins Approximation Property.William J. Mitchell - 2006 - Annals of Pure and Applied Logic 144 (1-3):126-129.
The Integrability of Ovals: Newton's Lemma 28 and Its Counterexamples.Bruce Pourciau - 2001 - Archive for History of Exact Sciences 55 (5):479-499.
The Weak König Lemma and Uniform Continuity.Josef Berger - 2008 - Journal of Symbolic Logic 73 (3):933-939.
On the Diagonal Lemma of Gödel and Carnap.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (1):80-88.
Variations of Rado's Lemma.Paul Howard - 1993 - Mathematical Logic Quarterly 39 (1):353-356.
Ehrenfeucht’s Lemma in Set Theory.Gunter Fuchs, Victoria Gitman & Joel David Hamkins - 2018 - Notre Dame Journal of Formal Logic 59 (3):355-370.
Putting Right the Wording and the Proof of the Truth Lemma for APAL.Philippe Balbiani - 2015 - Journal of Applied Non-Classical Logics 25 (1):2-19.


Added to PP index

Total views
6 ( #1,137,425 of 2,519,499 )

Recent downloads (6 months)
1 ( #407,153 of 2,519,499 )

How can I increase my downloads?


My notes