On Farkas' lemma and related propositions in BISH

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

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.

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2021.103059

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
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.
Itô’s Lemma with Quantum Calculus : Some Implications. [REVIEW]Emmanuel Haven - 2011 - Foundations of Physics 41 (3):529-537.
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.
On the foundations of constructive mathematics – especially in relation to the theory of continuous functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.
Variations of Rado's lemma.Paul Howard - 1993 - Mathematical Logic Quarterly 39 (1):353-356.
Brouwer's fan theorem and unique existence in constructive analysis.Josef Berger & Hajime Ishihara - 2005 - Mathematical Logic Quarterly 51 (4):360-364.
A correction to “A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees”.Teruyuki Yorioka - 2011 - Annals of Pure and Applied Logic 162 (9):752-754.
Constructive Mathematics in Theory and Programming Practice.Douglas Bridges & Steeve Reeves - 1998 - Philosophia Mathematica 6 (3):65-104.
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.
An A$_2$ Bailey lemma and Rogers--Ramanujan-type identities.E. Andrews George, Schilling Anne & Warnaar S. Ole - unknown

Analytics

Added to PP
2021-11-04

Downloads
22 (#709,072)

6 months
6 (#520,848)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

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.
First steps in constructive game theory.Douglas S. Bridges - 2004 - Mathematical Logic Quarterly 50 (4-5):501-506.

View all 6 references / Add more references