scientific article
From MaRDI portal
Publication:3567851
zbMath1200.03045MaRDI QIDQ3567851
Publication date: 17 June 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive reverse mathematicsBrouwer's fan theoremweak weak König's lemmauniformly continuous functions
Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Foundations of probability theory (60A99) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)
Related Items
A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ Realizability Models Separating Various Fan Theorems ⋮ Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Bishop-Style Constructive Reverse Mathematics
