Two direct proofs that LLPO implies the detachable fan theorem

被引：0

作者：

Bridges, D. S. ^{[1
]}

Dent, J. E. ^{[1
]}

McKubre-Jordens, M. N. ^{[1
]}

机构：

[1] Univ Canterbury, Dept Math & Stat, Christchurch 8140, New Zealand

来源：

LOGIC JOURNAL OF THE IGPL | 2013年 / 21卷 / 05期

关键词：

Bishop; LLPO; fan theorem; LEMMA;

D O I：

10.1093/jigpal/jzt003

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

It is shown, directly and in two ways, that Brouwer's fan theorem for detachable bars can be proved within Bishop-style constructive mathematics supplemented by (countably many applications of) the omniscience principle LLPO.

引用

下载

页码：830 / 835

页数：6

共 30 条

[1] The Fan minimax inequality implies the Nash equilibrium theorem
Park, Sehie
APPLIED MATHEMATICS LETTERS, 2011, 24 (12) : 2206 - 2210
[2] Two proofs of Graves's theorem
Poorrezaei, K
AMERICAN MATHEMATICAL MONTHLY, 2003, 110 (09): : 826 - 830
[3] Two proofs of Fine's theorem
Halliwell, J. J.
PHYSICS LETTERS A, 2014, 378 (40) : 2945 - 2950
[4] Two simplified proofs for Roberts’ theorem
Ron Lavi
Ahuva Mu’alem
Noam Nisan
Social Choice and Welfare, 2009, 32
[5] Two simplified proofs for Roberts' theorem
Lavi, Ron
Mu'alem, Ahuva
Nisan, Noam
SOCIAL CHOICE AND WELFARE, 2009, 32 (03) : 407 - 423
[6] DIRECT PROOFS OF THE FUNDAMENTAL THEOREM OF CALCULUS FOR THE OMEGA INTEGRAL
Dawson, C. Bryan
Dawson, Matthew
MISSOURI JOURNAL OF MATHEMATICAL SCIENCES, 2019, 31 (01) : 46 - 55
[7] Two new proofs of Afriat’s theorem
A. Fostel
H. E. Scarf
M. J. Todd
Economic Theory, 2004, 24 : 211 - 219
[8] Two "generic" proofs of the spectral mapping theorem
Ekedahl, T
Laksov, D
AMERICAN MATHEMATICAL MONTHLY, 2004, 111 (07): : 572 - 585
[9] Two proofs of a Pythagorean-like theorem
Hoehn, Larry
MATHEMATICAL GAZETTE, 2006, 90 (519): : 490 - 492
[10] Two new proofs of Afriat's theorem
Fostel, A
Scarf, HE
Todd, MJ
ECONOMIC THEORY, 2004, 24 (01) : 211 - 219

← 1 2 3 →