A Bizarre Property Equivalent to the -Fan Theorem
From MaRDI portal
Publication:3424134
DOI10.1093/jigpal/jzl026zbMath1156.03054MaRDI QIDQ3424134
Douglas S. Bridges, Josef Berger
Publication date: 15 February 2007
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzl026
Related Items
Bishop-Style Constructive Reverse Mathematics, A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Sequences of real functions on [0,1 in constructive reverse mathematics], A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem, Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem