关于 BISH 中的 Farkas 引理及相关命题
逻辑
2021-01-12 v1
摘要
本文在构造性数学（BISH）框架下分析了 Farkas 引理及相关命题的有效性，即线性方程组可解性的 Fredholm 抉择、线性规划中的最优性准则、Stiemke 引理、来自数学金融的超对冲对偶，以及应用于构造性博弈论的 von Neumann 极小极大定理。
引用
@article{arxiv.2101.03424,
title = {On Farkas' Lemma and Related Propositions in BISH},
author = {Josef Berger and Gregor Svindland},
journal= {arXiv preprint arXiv:2101.03424},
year = {2021}
}