Limited Omniscience and the Bolzano-Weierstrass Principle
From MaRDI portal
Publication:3785063
DOI10.1112/blms/20.4.319zbMath0643.26001MaRDI QIDQ3785063
Publication date: 1988
Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/blms/20.4.319
nonconstructivity; Bolzano-Weierstrass principle; bounded monotone sequence of real numbers; Limited Principle of Omniscience
26A03: Foundations: limits and generalizations, elementary topology of the line
03F99: Proof theory and constructive mathematics
Related Items
Bishop-Style Constructive Reverse Mathematics, Constructive projective extension of an incidence plane, A constructive real projective plane, The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Sequences of real functions on [0,1 in constructive reverse mathematics], The Monotone Completeness Theorem in Constructive Reverse Mathematics