A Bizarre Property Equivalent to the -Fan Theorem

DOI10.1093/jigpal/jzl026zbMath1156.03054OpenAlexW2070213475MaRDI 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

zbMATH Keywords

constructive reverse mathematicslocally constant functions

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)

Related Items (6)

Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem ⋮ A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem ⋮ 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] ⋮ Bishop-Style Constructive Reverse Mathematics

This page was built for publication: A Bizarre Property Equivalent to the -Fan Theorem