Resolution of the uniform lower bound problem in constructive analysis

Erik Palmgren. Resolution of the uniform lower bound problem in constructive analysis. Math. Log. Q., 54(1):65-69, 2008. [doi]

Abstract

Abstract is missing.